source: src/utilities @ 1626

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.
lists.ma 727 bytes 1626   10 years campbell Add extra type safety in front end. NB: critical freshness parts …
RegisterSet.ma 1.7 KB 1193   10 years mulligan work on colouring algorithm halted as it can be axiomatised. now …
BitVectorTrieSet.ma 2.2 KB 753   10 years mulligan Work from today.
extranat.ma 3.4 KB 1593   10 years boender - cleaned up Assembly, moved some definitions elsewhere
extralib.ma 4.7 KB 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
Coqlib.ma 31.7 KB 1600   10 years sacerdot utilities and ASM ported to the new standard library
Note: See TracBrowser for help on using the repository browser.