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

deleting unused rules
2000-12-12, by paulson
greater use of overloaded rules (order_less_imp_le not zless_imp_zle, ...)
2000-12-12, by paulson
auto-updated
2000-12-12, by paulson
"translations": allow harpoons;
2000-12-11, by wenzelm
moved "_update_name" to HOL/Record;
2000-12-11, by wenzelm
tuned;
2000-12-11, by wenzelm
added "_update_name" and parse_translation;
2000-12-11, by wenzelm
alternative syntax for "translations": harpoons;
2000-12-11, by wenzelm
harpoons;
2000-12-11, by wenzelm
moved method lemma to BVSpec
2000-12-10, by kleing
kildall ==> wt_method for whole program
2000-12-10, by kleing
tuned;
2000-12-08, by wenzelm
unsymbolize;
2000-12-08, by wenzelm
tuned;
2000-12-07, by wenzelm
Id;
2000-12-07, by wenzelm
generate table of isabelle symbols;
2000-12-07, by wenzelm
removed Digest (temporarily, not up to date)
2000-12-07, by kleing
updated for is_class changes
2000-12-07, by kleing
removed two intermediate comments
2000-12-07, by oheimb
fixed and cleaned up wt[l]_jvm_prog proofs
2000-12-07, by kleing
tuned;
2000-12-07, by wenzelm
update for changes in Correct.thy and class/is_class defs
2000-12-07, by kleing
strengthened invariant: current class must be defined
2000-12-07, by kleing
update for changes in Step.thy
2000-12-07, by kleing
invoked class must be defined in Invoke C ...
2000-12-07, by kleing
unsymbolize;
2000-12-06, by wenzelm
left_minus axiom;
2000-12-06, by wenzelm
tuned;
2000-12-06, by wenzelm
activate Rational_Numbers;
2000-12-06, by wenzelm
deactivate Rational_Numbers (tmp!);
2000-12-06, by wenzelm

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

isabelle