2002-01-11 ago wenzelm IsarThy.theorems_i;
2002-01-11 ago wenzelm clarified IsarThy.apply_theorems_i;
2002-01-11 ago wenzelm * Pure: localized 'lemmas', 'theorems', 'declare';
2002-01-10 ago wenzelm removed add_thmss;
2002-01-10 ago wenzelm tuned;
2002-01-10 ago wenzelm export_single;
2002-01-10 ago wenzelm refine_tac: Tactic.norm_hhf_tac before trying rule;
2002-01-10 ago wenzelm add_thmss_hybrid;
2002-01-10 ago wenzelm export multi_theorem(_i), locale_multi_theorem(_i);
2002-01-10 ago paulson stylistic changes
2002-01-10 ago nipkow *** empty log message ***
2002-01-10 ago wenzelm locales: hide base name of exported version;
2002-01-10 ago wenzelm simplified theorem(_i);
2002-01-10 ago wenzelm IsarThy.smart_multi_theorem;
2002-01-10 ago wenzelm added hide_thms;
2002-01-10 ago wenzelm simplified IsarThy.theorem_i;
2002-01-10 ago wenzelm qualified exports from locales;
2002-01-09 ago wenzelm obsolete;
2002-01-09 ago wenzelm converted theory Transitive_Closure;
2002-01-09 ago wenzelm * added \<euro> symbol;
2002-01-09 ago wenzelm no longer requires TEXINPUTS;
2002-01-09 ago wenzelm isatool latex -o sty;
2002-01-09 ago wenzelm removed TEXINPUTS;
2002-01-09 ago wenzelm updated;
2002-01-09 ago wenzelm tuned;
2002-01-09 ago wenzelm updated;
2002-01-09 ago wenzelm tuned;
2002-01-09 ago wenzelm updated;
2002-01-09 ago wenzelm tuned;
2002-01-09 ago wenzelm tuned message;
2002-01-09 ago paulson changed the index sort key from |-| to just |- because pdflatex can't cope
2002-01-08 ago wenzelm HOL-Hyperreal produces an image (again);
2002-01-08 ago wenzelm dependencies for "typedef" image;
2002-01-08 ago wenzelm improved arrangement of "typedef" images;
2002-01-08 ago wenzelm no_document use_thy "While_Combinator";
2002-01-08 ago wenzelm tuned;
2002-01-08 ago wenzelm tuned;
2002-01-08 ago wenzelm tuned;
2002-01-08 ago wenzelm updated;
2002-01-08 ago wenzelm tuned;
2002-01-08 ago wenzelm \part{Elementary Techniques};
2002-01-08 ago wenzelm \chapter{The Basics};
2002-01-08 ago paulson Added some simprules proofs.
2002-01-08 ago wenzelm updated;
2002-01-08 ago wenzelm tuned;
2002-01-08 ago nipkow added filter_filter
2002-01-08 ago paulson #2 to 2
2002-01-08 ago wenzelm syntax "_not_equal";
2002-01-08 ago wenzelm removed (not really necessary, causes too many consistency problems);
2002-01-08 ago wenzelm tuned;
2002-01-07 ago wenzelm getting close to completion;
2002-01-07 ago wenzelm updated;
2002-01-07 ago wenzelm tuned;
2002-01-07 ago wenzelm updated;
2002-01-07 ago wenzelm tuned;
2002-01-07 ago wenzelm tuned deps;
2002-01-07 ago wenzelm tuned;
2002-01-07 ago wenzelm updated;
2002-01-06 ago wenzelm some more ...;
2002-01-06 ago wenzelm "_not_equal" dummy constant;