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

MetaSimplifier.rewrite_term replaces slow Tactic.rewrite_cterm;
2002-01-17, by wenzelm
MetaSimplifier.rewrite_term replaces slow Tactic.rewrite_cterm;
2002-01-17, by wenzelm
eta_contract with sharing (by berghofe);
2002-01-17, by wenzelm
is_norm_hhf moved to drule.ML;
2002-01-17, by wenzelm
added timeap_msg;
2002-01-17, by wenzelm
new style theory
2002-01-17, by nipkow
Lex dependencies modified
2002-01-17, by nipkow
Added code generation to Scanner.thy
2002-01-17, by nipkow
registered directly executable version with the code generator
2002-01-17, by kleing
*** empty log message ***
2002-01-17, by nipkow
new definitions from Sidi Ehmety
2002-01-17, by paulson
made proofs more robust
2002-01-17, by paulson
mistakenly deleted this theory
2002-01-17, by paulson
fixed
2002-01-17, by kleing
GPLed;
2002-01-16, by wenzelm
added rewrite_term;
2002-01-16, by wenzelm
interface to Pattern.rewrite_term;
2002-01-16, by wenzelm
tune norm_hhf_tac;
2002-01-16, by wenzelm
added beta_eta_contract;
2002-01-16, by wenzelm
tuned title;
2002-01-16, by wenzelm
export beta_eta_conversion;
2002-01-16, by wenzelm
Interface/proof_general.ML move to proof_general.ML;
2002-01-16, by wenzelm
Isar version of ZF/AC
2002-01-16, by paulson
Isar version of AC
2002-01-16, by paulson
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

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

isabelle