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

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
moved setmksimps to Main!
2002-01-11, by wenzelm
have_thmss vs. have_thmss_i;
2002-01-11, by wenzelm
clarified/added theorems(_i) vs. locale_theorems(_i);
2002-01-11, by wenzelm
localized 'lemmas', 'theorems', 'declare';
2002-01-11, by wenzelm
have_thmss vs. have_thmss_i;
2002-01-11, by wenzelm
kind: ignore "";
2002-01-11, by wenzelm
IsarThy.theorems_i;
2002-01-11, by wenzelm
clarified IsarThy.apply_theorems_i;
2002-01-11, by wenzelm
* Pure: localized 'lemmas', 'theorems', 'declare';
2002-01-11, by wenzelm
removed add_thmss;
2002-01-10, by wenzelm
tuned;
2002-01-10, by wenzelm
export_single;
2002-01-10, by wenzelm
refine_tac: Tactic.norm_hhf_tac before trying rule;
2002-01-10, by wenzelm
add_thmss_hybrid;
2002-01-10, by wenzelm
export multi_theorem(_i), locale_multi_theorem(_i);
2002-01-10, by wenzelm
stylistic changes
2002-01-10, by paulson
*** empty log message ***
2002-01-10, by nipkow
locales: hide base name of exported version;
2002-01-10, by wenzelm
simplified theorem(_i);
2002-01-10, by wenzelm
IsarThy.smart_multi_theorem;
2002-01-10, by wenzelm
added hide_thms;
2002-01-10, by wenzelm
simplified IsarThy.theorem_i;
2002-01-10, by wenzelm
qualified exports from locales;
2002-01-10, by wenzelm
obsolete;
2002-01-09, by wenzelm
converted theory Transitive_Closure;
2002-01-09, by wenzelm
* added \<euro> symbol;
2002-01-09, by wenzelm
no longer requires TEXINPUTS;
2002-01-09, by wenzelm
isatool latex -o sty;
2002-01-09, by wenzelm
removed TEXINPUTS;
2002-01-09, by wenzelm
updated;
2002-01-09, by wenzelm
tuned;
2002-01-09, by wenzelm
updated;
2002-01-09, by wenzelm
tuned;
2002-01-09, by wenzelm
updated;
2002-01-09, by wenzelm
tuned;
2002-01-09, by wenzelm
tuned message;
2002-01-09, by wenzelm
changed the index sort key from |-| to just |- because pdflatex can't cope
2002-01-09, by paulson
HOL-Hyperreal produces an image (again);
2002-01-08, by wenzelm
dependencies for "typedef" image;
2002-01-08, by wenzelm
improved arrangement of "typedef" images;
2002-01-08, by wenzelm
no_document use_thy "While_Combinator";
2002-01-08, by wenzelm
tuned;
2002-01-08, by wenzelm
tuned;
2002-01-08, by wenzelm
tuned;
2002-01-08, by wenzelm
updated;
2002-01-08, by wenzelm
tuned;
2002-01-08, by wenzelm
\part{Elementary Techniques};
2002-01-08, by wenzelm
\chapter{The Basics};
2002-01-08, by wenzelm
Added some simprules proofs.
2002-01-08, by paulson
updated;
2002-01-08, by wenzelm

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

isabelle