isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip

do not reset facts ('this') for moreover and also
2003-12-06, by kleing
make Pure first to avoid race conditions on multiprocessor machines
2003-12-06, by kleing
revert to 1.18, changed Distribution/lib/Tools/makeall instead
2003-12-06, by kleing
make Pure first to avoid race conditions on multi processor machines
2003-12-06, by kleing
Added lazy sequences and parser combinators for same.
2003-12-05, by skalberg
more field division lemmas transferred from Real to Ring_and_Field
2003-12-05, by paulson
stylistic changes
2003-12-05, by paulson
Converting more of the "real" development to Isar scripts
2003-12-05, by paulson
hide Push
2003-12-04, by nipkow
further simplifications of the integer development; converting more .ML files
2003-12-04, by paulson
Tidying of the integer development; towards removing the
2003-12-04, by paulson
Simplification of the development of Integers
2003-12-03, by paulson
More re-organising of numerical theorems
2003-12-02, by paulson
conversion of some Real theories to Isar scripts
2003-11-28, by paulson

less more | (0) -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle