source: src/utilities @ 2486

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