Changeset 236 for Deliverables/D4.1/Matita/Nat.ma
- Timestamp:
- Nov 12, 2010, 4:01:48 PM (10 years ago)
- File:
-
- 1 edited
-
Deliverables/D4.1/Matita/Nat.ma (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/Matita/Nat.ma
r234 r236 3 3 (* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= *) 4 4 include "Cartesian.ma". 5 include "Maybe.ma".6 5 include "Bool.ma". 7 6
Note: See TracChangeset
for help on using the changeset viewer.
