source: src/utilities @ 2497

Name Size Rev Age Author Last Change
../
adt 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
binary 2310   9 years garnier Moved a lemma from switchRemoval to positive.
BitVectorTrieSet.ma 2.2 KB 753   10 years mulligan Work from today.
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
setoids.ma 1.4 KB 1635   9 years tranquil * lists with binders and monads * Joint.ma and other temprarily …
trace.ma 895 bytes 1882   9 years tranquil big update, alas incomplete: joint changed a bit, and all BE languages …
proper.ma 756 bytes 1908   9 years fguidi notation fixup following last commit of matita we shifted the levels …
bind_new.ma 3.3 KB 1976   9 years tranquil * monads: just changed some defs, which had to be propagated in some …
option.ma 2.6 KB 1976   9 years tranquil * monads: just changed some defs, which had to be propagated in some …
permutations.ma 10.5 KB 1976   9 years tranquil * monads: just changed some defs, which had to be propagated in some …
state.ma 1.4 KB 1976   9 years tranquil * monads: just changed some defs, which had to be propagated in some …
bindLists.ma 1.3 KB 2155   9 years tranquil updates to blocks and RTLabs to RTL translation (which sidesteps …
fixpoints.ma 785 bytes 2174   9 years tranquil * factored out script for (axiomatised) fixpoint computation * ERTL → …
hide.ma 1.2 KB 2200   9 years tranquil * updated joint semantics: generation of linear and graph semantics * …
extranat.ma 4.0 KB 2286   9 years tranquil Big update! * merge of all _paolo variants * reorganised some depends …
extralib.ma 7.3 KB 2309   9 years garnier Removed the superfluous xorb definition and move some basic properties …
bool.ma 205 bytes 2314   9 years campbell Move generic definitions from recent commit to appropriate places.
listb.ma 381 bytes 2314   9 years campbell Move generic definitions from recent commit to appropriate places.
deqsets.ma 604 bytes 2443   9 years tranquil changed joint's stack pointer and internal stack
lists.ma 10.3 KB 2443   9 years tranquil changed joint's stack pointer and internal stack
monad.ma 11.6 KB 2453   9 years tranquil come changes in monad notation to * avoid pretty printed monsters * …
Note: See TracBrowser for help on using the repository browser.