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 -50 -32 +32 +50 +100 +300 +1000 +3000 +10000 +30000 tip

new lemmas
2002-06-24, by paulson
towards absoluteness of wf
2002-06-24, by paulson
tweaks
2002-06-24, by paulson
conversion of Sum, pair to Isar script
2002-06-23, by paulson
converted Bool, Trancl, Rel to Isar format
2002-06-22, by paulson
*** empty log message ***
2002-06-21, by nipkow
cleanup old isabelle-* dirs before test start
2002-06-21, by isatest
included masterlog file
2002-06-21, by isatest
fail not so early, but produce correct exit code in the end
2002-06-21, by kleing
tuned
2002-06-20, by isatest
tuned
2002-06-20, by kleing
tuned
2002-06-20, by kleing
for nightly test builds
2002-06-20, by kleing
fail more gracefully, return proper exit codes, allow preset DISTPREFIX
2002-06-20, by kleing
fail early
2002-06-20, by kleing
updated;
2002-06-20, by wenzelm
tuned;
2002-06-20, by wenzelm
0 -> key
2002-06-19, by nipkow
added the Constructible target
2002-06-19, by paulson
LBV instantiantion refactored, streamlined
2002-06-19, by kleing
new theory of inner models
2002-06-19, by paulson
conversion of Cardinal to Isar script
2002-06-19, by paulson
conversion of Cardinal, CardinalArith
2002-06-19, by paulson
tidying
2002-06-18, by paulson
new lemma
2002-06-18, by paulson
conversion of Fixedpt to Isar script
2002-06-18, by paulson
new theorems
2002-06-18, by paulson
conversion of CardinalArith to Isar script
2002-06-16, by paulson
LBV instantiated for JVM
2002-06-15, by kleing
wt_method now checks bounded+types ==> wt_kildall <=> wt_method
2002-06-14, by kleing
IsarTut;
2002-06-14, by wenzelm
better proof of ord_iso_restrict_pred
2002-06-14, by paulson

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

isabelle