source: src/utilities/adt/ @ 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
1include "basics/".
3include "utilities/adt/".
4include "utilities/adt/".
5include "utilities/adt/".
Note: See TracBrowser for help on using the repository browser.