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

norm_hhf;
2002-01-16, by wenzelm
fixed theory deps
2002-01-15, by kleing
use exec_lub instead of some_lub
2002-01-15, by kleing
tuned for directly executable definitions
2002-01-15, by kleing
tuned;
2002-01-15, by wenzelm
removed second copy of show_hyps;
2002-01-15, by wenzelm
tuned;
2002-01-15, by wenzelm
allow empty locales;
2002-01-15, by wenzelm
updated;
2002-01-15, by wenzelm
tuned;
2002-01-15, by wenzelm
new theorem
2002-01-15, by paulson
stylistic changes
2002-01-15, by paulson
now [rule_format] knows about ospec
2002-01-15, by paulson
split can now be unfolded even with one argument
2002-01-15, by paulson
save: be slightly more about absent tags;
2002-01-15, by wenzelm
allow zero goals;
2002-01-15, by wenzelm
tuned;
2002-01-15, by wenzelm
print_locale: allow full body specification;
2002-01-15, by wenzelm
added mk_conjunction_list;
2002-01-15, by wenzelm
conj_intr_list and conj_elim_precise: cover 0 conjuncts;
2002-01-15, by wenzelm
removed case_numbers (already covered by default);
2002-01-15, by wenzelm
Isar: undeclared rule case names default to numbers 1, 2, 3, ...;
2002-01-15, by wenzelm
* system: reduced base memory usage by Poly/ML (approx. 20 MB instead
2002-01-14, by wenzelm
ML_OPTIONS="-h 15000" (used to be 30000);
2002-01-14, by wenzelm
updated;
2002-01-14, by wenzelm
tuned;
2002-01-14, by wenzelm
updated;
2002-01-14, by wenzelm
tuned;
2002-01-14, by wenzelm
updated;
2002-01-14, by wenzelm
tuned;
2002-01-14, by wenzelm
updated;
2002-01-14, by wenzelm
tuned;
2002-01-14, by wenzelm
tuned;
2002-01-14, by wenzelm
cosmetics
2002-01-14, by oheimb
\<twosuperior> syntax moved to HOL/Numerals;
2002-01-13, by wenzelm
tuned;
2002-01-13, by wenzelm
prime_dvd_power_two;
2002-01-13, by wenzelm
symbolic syntax for x^2 (faills back on plain infix "^");
2002-01-13, by wenzelm
\usepackage[latin1]{inputenc};
2002-01-13, by wenzelm
* HOL: symbolic syntax for x^2 (numeral 2);
2002-01-13, by wenzelm
added HOL/Real/document/root.tex;
2002-01-13, by wenzelm
HOL-Real/Complex_Numbers;
2002-01-13, by wenzelm
Real/Complex_Numbers.thy;
2002-01-13, by wenzelm
tuned;
2002-01-12, by wenzelm
tuned;
2002-01-12, by wenzelm
produce predicate text;
2002-01-12, by wenzelm
added atomize_cterm;
2002-01-12, by wenzelm
tuned;
2002-01-12, by wenzelm
unify_frozen: proper use of maxidx';
2002-01-12, by wenzelm
paramify_dummies: proper treatment of maxidx;
2002-01-12, by wenzelm
renamed forall_elim_vars_safe to gen_all;
2002-01-12, by wenzelm
Isabelle2002 (January 2002);
2002-01-11, by wenzelm
removed obsolete isamode.ML;
2002-01-11, by wenzelm
tuned;
2002-01-11, by wenzelm
#!/usr/bin/env bash;
2002-01-11, by wenzelm
replace gen_all by forall_elim_vars_safe;
2002-01-11, by wenzelm
improved forall_elim_vars_safe (no longer invents new indexes);
2002-01-11, by wenzelm
lemmas (in ACe) AC;
2002-01-11, by wenzelm
tuned;
2002-01-11, by wenzelm
IsarThy.theorems_i;
2002-01-11, by wenzelm

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

isabelle