source: src/utilities/adt @ 2248

Name Size Rev Age Author Last Change
../
table_adt.ma 9.8 KB 1599   9 years sacerdot Start of merging of stuff into the standard library of Matita.
set_table_adt.ma 1.8 KB 1223   10 years mulligan changes
set_adt.ma 2.8 KB 1599   9 years sacerdot Start of merging of stuff into the standard library of Matita.
register_table.ma 942 bytes 1223   10 years mulligan changes
priority_set_adt.ma 1.9 KB 1599   9 years sacerdot Start of merging of stuff into the standard library of Matita.
ordering.ma 214 bytes 1208   10 years mulligan added adts for sets, tables and priority sets in order to make life …
equal.ma 125 bytes 1208   10 years mulligan added adts for sets, tables and priority sets in order to make life …
Note: See TracBrowser for help on using the repository browser.