source: src/utilities/adt/set_table_adt.ma @ 1210

Last change on this file since 1210 was 1210, checked in by mulligan, 9 years ago

getting rid of typeclass-like records in favour of file-level axioms. much too heavyweight to use effectively

File size: 138 bytes
Line 
1include "basics/types.ma".
2
3include "utilities/adt/set_adt.ma".
4include "utilities/adt/table_adt.ma".
5include "utilities/adt/ordering.ma".
Note: See TracBrowser for help on using the repository browser.