NEWS
2007-12-04 ago \<chi> is now considered a letter;
2007-11-30 ago adjustions to due to instance target
2007-11-30 ago *** empty log message ***
2007-11-29 ago instance command as rudimentary class target
2007-11-26 ago moved new NEWS from Isabelle2007 to this Isabelle version'';
2007-11-23 ago deleted card definition as code lemma; authentic syntax for card
2007-11-20 ago tuned spacing;
2007-11-15 ago cover ISABELLE_IDENTIFIER;
2007-11-13 ago tuned;
2007-11-12 ago fixed typo;
2007-11-11 ago * HOL-Statespace;
2007-10-26 ago tuned
2007-10-26 ago added NEWS entry for function package
2007-10-25 ago tuned
2007-10-24 ago tuned file names etc.;
2007-10-24 ago tuned
2007-10-22 ago tuned Nominal entry;
2007-10-22 ago added @{sort}, @{type_syntax} antiquotations;
2007-10-21 ago misc tuning;
2007-10-21 ago tuned the entry about nominal datatypes
2007-10-18 ago localized mono predicate
2007-10-16 ago global class syntax
2007-10-15 ago more on authentic syntax;
2007-10-15 ago updated method "ferrack";
2007-10-12 ago moved class power to theory Power
2007-10-12 ago class div inherits from class times
2007-10-10 ago added 'no_notation';
2007-10-09 ago tuned;
2007-10-09 ago generic Syntax.pretty/string_of operations;
2007-10-07 ago * Basic Isabelle mode for jEdit.
2007-10-06 ago simplified interfaces for outer syntax;
2007-10-05 ago tuned induct etc.;
2007-10-01 ago added auto_quickcheck feature;
2007-10-01 ago misc tuning and update;
2007-10-01 ago misc tuning and update;
2007-09-26 ago tuned;
2007-09-26 ago tuned;
2007-09-26 ago tuned;
2007-09-26 ago * Pure/Isar: unified specification syntax admits type inference and dummy patterns;
2007-09-25 ago * Pure/Syntax: generic interfaces for parsing and type checking;
2007-09-25 ago datatype interpretators for size and datatype_realizer
2007-09-24 ago more ML antiqs;
2007-09-19 ago *** empty log message ***
2007-09-19 ago * ML: just one true type int;
2007-09-18 ago Transitivity reasoner set up for locales.
2007-09-18 ago moved Tools/integer.ML to Pure/General/integer.ML;
2007-09-18 ago *** empty log message ***
2007-09-16 ago moved induct patterns to HOL/Induct/Common_Patterns.thy;
2007-09-01 ago *** empty log message ***
2007-08-31 ago tuned multithreading entry -- no longer experimental;
2007-08-30 ago *** empty log message ***
2007-08-24 ago moved class dense_linear_order to Orderings.thy
2007-08-20 ago conciliated Inf/Inf_fin
2007-08-20 ago * HOL-Word:
2007-08-13 ago new attribute [rotated]
2007-08-12 ago * Syntax: scope for resolving ambiguities via type-inference is now limited to individual terms;
2007-08-10 ago tuned;
2007-08-10 ago * Experimental support for multithreading, using Poly/ML 5.1;
2007-08-08 ago * Theory loader: old-style ML proof scripts are considered a legacy feature;
2007-08-07 ago theory loader: added use_thys, removed obsolete update_thy;