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};
2008-06-03 wenzelm 2008-06-03 updated generated file;
2008-06-03 wenzelm 2008-06-03 moved stuff from pure.thy to Misc.thy;
2008-06-03 wenzelm 2008-06-03 obsolete;
2008-06-03 wenzelm 2008-06-03 updated generated file;
2008-06-03 wenzelm 2008-06-03 tuned;
2008-06-02 wenzelm 2008-06-02 updated generated file;
2008-06-02 wenzelm 2008-06-02 moved header command to Document_Preparation;
2008-06-02 wenzelm 2008-06-02 tuned structure;
2008-06-02 wenzelm 2008-06-02 moved header command here;
2008-06-02 wenzelm 2008-06-02 removed onsolete pure.thy (cf. Misc.thy);
2008-06-02 wenzelm 2008-06-02 updated generated file;
2008-06-02 wenzelm 2008-06-02 updated ML types for advanced translations;
2008-06-02 wenzelm 2008-06-02 moved (ax_)specification to end;
2008-06-02 wenzelm 2008-06-02 moved subst/hypsubst to "Basic proof tools"; tuned;
2008-06-02 wenzelm 2008-06-02 added Document_Preparation;
2008-06-02 wenzelm 2008-06-02 updated generated file;
2008-06-02 wenzelm 2008-06-02 tuned spacing;
2008-06-02 wenzelm 2008-06-02 major reorganization of document structure;
2008-06-02 wenzelm 2008-06-02 removed obsolete basics.tex;
2008-06-02 wenzelm 2008-06-02 more contributors; removed obsolete basics.tex; added Document_Preparation.tex;
2008-06-02 wenzelm 2008-06-02 renamed theory "syntax" to "Outer_Syntax";
2008-06-02 wenzelm 2008-06-02 isatool tty;
2008-06-02 wenzelm 2008-06-02 renamed theory "intro" to "Introduction";
2008-06-02 nipkow 2008-06-02 tuned proofs
2008-06-01 dixon 2008-06-01 fixed bug: maxidx was wrongly calculuated from term, now calculated from theorem correctly.
2008-06-01 urbanc 2008-06-01 new example
2008-05-31 wenzelm 2008-05-31 updated to E 0.999-006;
2008-05-30 wenzelm 2008-05-30 THIS_IS_ISABELLE_MAKEBIN is back;
2008-05-30 wenzelm 2008-05-30 cvs2cl only for unofficial releases;
2008-05-30 wenzelm 2008-05-30 more AFP sessions;
2008-05-30 nipkow 2008-05-30 *** empty log message ***
2008-05-30 krauss 2008-05-30 Updated function tutorial.
2008-05-30 haftmann 2008-05-30 (adjusted)
2008-05-30 haftmann 2008-05-30 various code streamlining
2008-05-30 wenzelm 2008-05-30 more AFP sessions;
2008-05-29 wenzelm 2008-05-29 legacy_feature: no proof context in simpset;
2008-05-29 wenzelm 2008-05-29 proper context for attribute simplified;
2008-05-29 wenzelm 2008-05-29 added warning_count for issued reconstruction failure messages (limit 10); less nesting of let expressions;
2008-05-29 wenzelm 2008-05-29 proper context for ss;
2008-05-29 wenzelm 2008-05-29 proper context for simp_thms_conv;
2008-05-29 wenzelm 2008-05-29 added warning_count for issued reconstruction failure messages;
2008-05-29 wenzelm 2008-05-29 tuned;
2008-05-29 nipkow 2008-05-29 *** empty log message ***
2008-05-29 haftmann 2008-05-29 yet another attempt to circumvent printmode problems
2008-05-28 wenzelm 2008-05-28 obsolete;
2008-05-28 wenzelm 2008-05-28 moved README-polyml to polyml/README;
2008-05-28 wenzelm 2008-05-28 README for Poly/ML 5.2 distribution;
2008-05-28 wenzelm 2008-05-28 tuned;
2008-05-28 wenzelm 2008-05-28 more contribs;
2008-05-28 wenzelm 2008-05-28 misc tuning for Isabelle2008;
2008-05-28 wenzelm 2008-05-28 added some notable improvements;
2008-05-28 wenzelm 2008-05-28 tuned version numbers;
2008-05-28 wenzelm 2008-05-28 prepared for Isabelle2008;
2008-05-28 wenzelm 2008-05-28 added ISABELLE_HOME to startup; pathed OS.FileSys.tmpName to drop C string terminator; added OS.FileSys.fullPath;
2008-05-28 wenzelm 2008-05-28 added Substring.full;
2008-05-28 haftmann 2008-05-28 moved distinctness_limit to datatype_rep_proofs.ML