source: src/utilities @ 1651

Name Size Rev Age Author Last Change
../
binary 1628   8 years campbell Show that the universe generated by Clight/fresh.ma is good.
adt 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
BitVectorTrieSet.ma 2.2 KB 753   9 years mulligan Work from today.
monad.ma 9.3 KB 1648   8 years mulligan new version of utilities/monad.ma with typecheck command comented out
RegisterSet.ma 1.7 KB 1193   8 years mulligan work on colouring algorithm halted as it can be axiomatised. now …
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.
bindLists.ma 6.9 KB 1647   8 years tranquil * corrected some notation problems * adapted Cligth with slight …
lists.ma 2.2 KB 1647   8 years tranquil * corrected some notation problems * adapted Cligth with slight …
option.ma 614 bytes 1647   8 years tranquil * corrected some notation problems * adapted Cligth with slight …
proper.ma 756 bytes 1640   8 years tranquil * finished fork of semantics.ma * unification of Errors under the …
setoids.ma 1.4 KB 1635   8 years tranquil * lists with binders and monads * Joint.ma and other temprarily …
state.ma 1.1 KB 1647   8 years tranquil * corrected some notation problems * adapted Cligth with slight …
trace.ma 903 bytes 1635   8 years tranquil * lists with binders and monads * Joint.ma and other temprarily …
Note: See TracBrowser for help on using the repository browser.