source: src/utilities @ 1784

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