source: src/utilities @ 1626

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