Changeset 236 for Deliverables/D4.1/Matita/Cartesian.ma
- Timestamp:
- Nov 12, 2010, 4:01:48 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/Matita/Cartesian.ma
r228 r236 6 6 second: B 7 7 }. 8 9 notation "(l,r)" 10 non associative with precedence 90 11 for @{ 'cartesian $l $r }. 12 13 interpretation "Cartesian product" 'cartesian l r = (mk_Cartesian ? ? l r).
Note: See TracChangeset
for help on using the changeset viewer.