2008-06-10 wenzelm 2008-06-10 case_split_tac (works without context);
2008-06-10 wenzelm 2008-06-10 tuned;
2008-06-10 wenzelm 2008-06-10 eliminated obsolete case_split_thm -- use case_split;
2008-06-10 wenzelm 2008-06-10 Unstructured induction and cases analysis for Isabelle/HOL.
2008-06-10 haftmann 2008-06-10 dropped instance with attached definitions
2008-06-10 haftmann 2008-06-10 polished interface of datatype package
2008-06-10 haftmann 2008-06-10 adjusted some proofs involving inats
2008-06-10 haftmann 2008-06-10 refactoring; addition, numerals
2008-06-10 haftmann 2008-06-10 more instantiation
2008-06-10 haftmann 2008-06-10 whitespace tuning
2008-06-10 haftmann 2008-06-10 localized Least in Orderings.thy
2008-06-10 haftmann 2008-06-10 removed some dubious code lemmas
2008-06-10 haftmann 2008-06-10 slightly tuning of some proofs involving case distinction and induction on natural numbers and similar
2008-06-10 haftmann 2008-06-10 rep_datatype command now takes list of constructors as input arguments
2008-06-10 haftmann 2008-06-10 major refactorings in code generator modules
2008-06-10 haftmann 2008-06-10 updated
2008-06-10 haftmann 2008-06-10 slightly tuning of some proofs involving case distinction and induction on natural numbers and similar
2008-06-09 wenzelm 2008-06-09 DatatypePackage.case_tac;
2008-06-09 wenzelm 2008-06-09 DatatypePackage.distinct_simproc;
2008-06-09 wenzelm 2008-06-09 DatatypePackage.case_tac;
2008-06-09 wenzelm 2008-06-09 signature cleanup -- no pervasives anymore;
2008-06-09 wenzelm 2008-06-09 qualified DatatypePackage.distinct_simproc;
2008-06-09 wenzelm 2008-06-09 adapted case_tac/induct_tac;
2008-06-08 wenzelm 2008-06-08 updated generated file; Isabelle2008
2008-06-08 wenzelm 2008-06-08 minor typos;
2008-06-08 wenzelm 2008-06-08 simp: depth_limit is now a configuration option;
2008-06-08 wenzelm 2008-06-08 removed old AxClass;
2008-06-08 wenzelm 2008-06-08 remove codegen_process.pdf from distribution;
2008-06-07 haftmann 2008-06-07 fixed wrong treatment of type variables in instantiation target
2008-06-06 wenzelm 2008-06-06 switched to Poly/ML 5.2;
2008-06-06 isatest 2008-06-06 doc test now runs on linux
2008-06-05 wenzelm 2008-06-05 added at-poly-5.1-para-e;
2008-06-05 haftmann 2008-06-05 adjusted location of cambridge website
2008-06-05 isatest 2008-06-05 switch from gtar to tar
2008-06-05 isatest 2008-06-05 send from linux systems as well
2008-06-04 wenzelm 2008-06-04 tikz: change to pgfsys-dvi.def for plain dvi output;
2008-06-04 wenzelm 2008-06-04 replaced (*<*)(*>*) by invisibility tags;
2008-06-04 wenzelm 2008-06-04 updated generated file;
2008-06-04 wenzelm 2008-06-04 updated generated file;
2008-06-04 wenzelm 2008-06-04 work within *this* directory;
2008-06-04 wenzelm 2008-06-04 moved labels into actual sections;
2008-06-04 wenzelm 2008-06-04 removed TEXPATH, just chdir to Locales/document;
2008-06-04 wenzelm 2008-06-04 renamed expression: plain ~ (space) instead of \colon;
2008-06-04 wenzelm 2008-06-04 updated generated file;
2008-06-04 wenzelm 2008-06-04 replaced strange \: by \colon to make it work again on macbroy20-29;
2008-06-03 wenzelm 2008-06-03 updated generated file;
2008-06-03 wenzelm 2008-06-03 clarification of "subst" by Lucas Dixon;
2008-06-03 wenzelm 2008-06-03 use polyml-5.2;
2008-06-03 wenzelm 2008-06-03 updated to official 5.2;
2008-06-03 wenzelm 2008-06-03 use isabelle style files from Doc/ -- not the generated ones (which are not present in the repository anyway);
2008-06-03 wenzelm 2008-06-03 some reorganization and fine-tuning;
2008-06-03 wenzelm 2008-06-03 some fine-tuning;
2008-06-03 wenzelm 2008-06-03 CodeTarget.target_code_width;
2008-06-03 ballarin 2008-06-03 Tuned proof.
2008-06-03 ballarin 2008-06-03 New version covering interpretation.
2008-06-03 wenzelm 2008-06-03 proper path to isabelle.jar;
2008-06-03 wenzelm 2008-06-03 reorganized isar-ref;
2008-06-03 wenzelm 2008-06-03 added Wenzel:2006:Festschrift;
2008-06-03 wenzelm 2008-06-03 class_deps: improper;
2008-06-03 wenzelm 2008-06-03 \cite{Wenzel:2006:Festschrift};