source: src/utilities/adt @ 1274

Name Size Rev Age Author Last Change
../
equal.ma 125 bytes 1208   9 years mulligan added adts for sets, tables and priority sets in order to make life …
ordering.ma 214 bytes 1208   9 years mulligan added adts for sets, tables and priority sets in order to make life …
priority_set_adt.ma 1.9 KB 1223   9 years mulligan changes
register_table.ma 942 bytes 1223   9 years mulligan changes
set_adt.ma 2.7 KB 1223   9 years mulligan changes
set_table_adt.ma 1.8 KB 1223   9 years mulligan changes
table_adt.ma 4.8 KB 1274   9 years mulligan starting removing axioms from adts and giving them proper implementations
Note: See TracBrowser for help on using the repository browser.