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