Mercurialisabelle / shortlog
summary | shortlog | changelog | graph | tags | branches | files | gz

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