View:	Hide Browser | Browser on the left | Browser on the right | Dictionary
Report:	General Info

---

date_time
Constraint Month_known_validity

General Info
Name	Month_known_validity
Expression	inv: not month_known implies not day_known
Base Classes	Class