Changeset 1599 for src/common/AssocList.ma
- Timestamp:
- Dec 13, 2011, 1:34:37 AM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/common/AssocList.ma
r789 r1599 1 include "basics/list .ma".1 include "basics/lists/list.ma". 2 2 3 3 definition assoc_list ≝ λA, B. list (A × B).
Note: See TracChangeset
for help on using the changeset viewer.