source:
src/utilities/adt
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| set_adt.ma | 831 bytes | 2772 | 8 years | Useless code removed. | |
| priority_set_adt.ma | 1.9 KB | 1599 | 9 years | Start of merging of stuff into the standard library of Matita. | |
| ordering.ma | 214 bytes | 1208 | 9 years | added adts for sets, tables and priority sets in order to make life … | |
| equal.ma | 125 bytes | 1208 | 9 years | added adts for sets, tables and priority sets in order to make life … | |
Note: See TracBrowser
for help on using the repository browser.
