isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

iff declarations moved to clasimp.ML;
2000-09-05, by wenzelm
added not;
2000-09-05, by wenzelm
simplified PG/X-Symbol intro;
2000-09-05, by wenzelm
recdef hints (attributes and modifiers);
2000-09-05, by wenzelm
added 'iff' modifier;
2000-09-05, by wenzelm
tuned;
2000-09-05, by wenzelm
updated;
2000-09-05, by wenzelm
*** empty log message ***
2000-09-05, by nipkow
tidied, proving gcd_greatest_iff and using induct_tac
2000-09-05, by paulson
new AddIffs (especially Memrel_iff)
2000-09-05, by paulson
safe_meson_tac -> meson_tac
2000-09-05, by paulson
meson.ML moved from HOL/ex to HOL/Tools: meson_tac installed by default
2000-09-05, by paulson
loads Tools/meson.ML: meson_tac installed by default
2000-09-05, by paulson
moved proof of "choice" to Tools/meson.ML
2000-09-05, by paulson
fixed a slow proof
2000-09-05, by paulson
simplified two index entries, since now ZF is by itself
2000-09-05, by paulson
meson_tac
2000-09-05, by paulson
*** empty log message ***
2000-09-05, by nipkow
tuned comment;
2000-09-04, by wenzelm
added safe_mk_meta_eq;
2000-09-04, by wenzelm
tuned "mono" att setup;
2000-09-04, by wenzelm
tuned;
2000-09-04, by wenzelm
added add_rules, del_rules;
2000-09-04, by wenzelm
display: avoid empty lines;
2000-09-04, by wenzelm
tuned;
2000-09-04, by wenzelm
minor fixes for new version of Primes.thy
2000-09-04, by paulson
Renamed real_of_posnat_less_zero to real_of_posnat_gt_zero
2000-09-04, by paulson
Converting HOL/ex/Primes.thy to new style, removing Primes.ML
2000-09-04, by paulson
BCV
2000-09-04, by nipkow
added pretend_use_thy_only;
2000-09-03, by wenzelm

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

isabelle