source: src/utilities @ 1646

Name Size Rev Age Author Last Change
../
adt 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
binary 1628   10 years campbell Show that the universe generated by Clight/fresh.ma is good.
bindLists.ma 6.8 KB 1636   10 years tranquil * added coercions to arguments (in RTL) and notation for ops (for the …
BitVectorTrieSet.ma 2.2 KB 753   11 years mulligan Work from today.
Coqlib.ma 31.7 KB 1600   10 years sacerdot utilities and ASM ported to the new standard library
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 1.7 KB 1631   10 years campbell Use fact that type environments in Cminor have distinct variables to …
monad.ma 8.9 KB 1640   10 years tranquil * finished fork of semantics.ma * unification of Errors under the …
option.ma 1.3 KB 1640   10 years tranquil * finished fork of semantics.ma * unification of Errors under the …
proper.ma 756 bytes 1640   10 years tranquil * finished fork of semantics.ma * unification of Errors under the …
RegisterSet.ma 1.7 KB 1193   10 years mulligan work on colouring algorithm halted as it can be axiomatised. now …
setoids.ma 1.4 KB 1635   10 years tranquil * lists with binders and monads * Joint.ma and other temprarily …
state.ma 1.1 KB 1635   10 years tranquil * lists with binders and monads * Joint.ma and other temprarily …
trace.ma 903 bytes 1635   10 years tranquil * lists with binders and monads * Joint.ma and other temprarily …
Note: See TracBrowser for help on using the repository browser.