source: src/utilities @ 1599

Name Size Rev Age Author Last Change
../
adt 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
binary 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
BitVectorTrieSet.ma 2.2 KB 753   10 years mulligan Work from today.
Compare.ma 200 bytes 1066   10 years mulligan changes from today
Coqlib.ma 31.7 KB 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
deppair.ma 437 bytes 1351   10 years campbell Tidy up some loose ends from the invariants branch merge.
extralib.ma 4.7 KB 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
extranat.ma 3.4 KB 1593   10 years boender - cleaned up Assembly, moved some definitions elsewhere
lists.ma 3.2 KB 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
option.ma 1013 bytes 1551   10 years campbell Functions to translate between back-end and front-end values.
RegisterSet.ma 1.7 KB 1193   10 years mulligan work on colouring algorithm halted as it can be axiomatised. now …
sigma.ma 376 bytes 1266   10 years sacerdot Added second projection.
Note: See TracBrowser for help on using the repository browser.