source: src/utilities @ 2125

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.
Coqlib.ma 31.7 KB 1600   8 years sacerdot utilities and ASM ported to the new standard library
monad.ma 11.7 KB 1976   8 years tranquil * monads: just changed some defs, which had to be propagated in some …
permutations.ma 10.5 KB 1976   8 years tranquil * monads: just changed some defs, which had to be propagated in some …
lists.ma 8.6 KB 1949   8 years tranquil * lemma trace rel to eq flatten trace * some more properties of …
extralib.ma 6.5 KB 2101   7 years boender - renamed medium to absolute jump - revised proofs of policy, some …
extranat.ma 3.4 KB 1593   8 years boender - cleaned up Assembly, moved some definitions elsewhere
bind_new.ma 3.3 KB 1976   8 years tranquil * monads: just changed some defs, which had to be propagated in some …
option.ma 2.6 KB 1976   8 years tranquil * monads: just changed some defs, which had to be propagated in some …
BitVectorTrieSet.ma 2.2 KB 753   9 years mulligan Work from today.
RegisterSet.ma 1.7 KB 1193   8 years mulligan work on colouring algorithm halted as it can be axiomatised. now …
state.ma 1.4 KB 1976   8 years tranquil * monads: just changed some defs, which had to be propagated in some …
setoids.ma 1.4 KB 1635   8 years tranquil * lists with binders and monads * Joint.ma and other temprarily …
bindLists.ma 1.3 KB 1882   8 years tranquil big update, alas incomplete: joint changed a bit, and all BE languages …
trace.ma 895 bytes 1882   8 years tranquil big update, alas incomplete: joint changed a bit, and all BE languages …
proper.ma 756 bytes 1908   8 years fguidi notation fixup following last commit of matita we shifted the levels …
Note: See TracBrowser for help on using the repository browser.