Changeset 334 for Deliverables/D4.1/Matita/Bool.ma
- Timestamp:
- Nov 29, 2010, 5:34:18 PM (11 years ago)
- File:
-
- 1 edited
-
Deliverables/D4.1/Matita/Bool.ma (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/Matita/Bool.ma
r281 r334 29 29 | false ⇒ c 30 30 ]. 31 32 ncheck inclusive_disjunction. 31 33 32 34 nlet rec exclusive_disjunction (b: Bool) (c: Bool) on b ≝
Note: See TracChangeset
for help on using the changeset viewer.
