doc-src/IsarRef/Thy/document/Spec.tex
2010-10-29 wenzelm 2010-10-29 eliminated obsolete \_ escapes in rail environments;
2010-10-28 wenzelm 2010-10-28 tuned;
2010-10-28 wenzelm 2010-10-28 moved FOL/ex/Iff_Oracle.thy to HOL/ex where it is more accessible to most readers of isar-ref; tuned;
2010-10-24 wenzelm 2010-10-24 merged
2010-10-10 krauss 2010-10-10 do not mention unqualified names, now that 'global' and 'local' are gone
2010-10-15 wenzelm 2010-10-15 moved bind_thm(s) to implementation manual;
2010-10-09 wenzelm 2010-10-09 prefer checked antiquotations;
2010-09-10 wenzelm 2010-09-10 updated generated file;
2010-08-25 wenzelm 2010-08-25 discontinued obsolete 'global' and 'local' commands;
2010-07-31 ballarin 2010-07-31 Documentation of 'interpret' updated.
2010-07-12 haftmann 2010-07-12 moved co-regularity to class section; avoid duplicated class_deps
2010-05-25 wenzelm 2010-05-25 updated generated files;
2010-04-28 wenzelm 2010-04-28 command 'defaultsort' is renamed to 'default_sort', it works within a local theory context;
2010-04-16 wenzelm 2010-04-16 keep localized 'types' as regular non-old-style version -- 'type_abbrev' as 'type' just causes too many problems, e.g. clash with "type" in translations or "type:" argument syntax;
2010-04-16 wenzelm 2010-04-16 separate commands 'hide_class', 'hide_type', 'hide_const', 'hide_fact';
2010-03-09 wenzelm 2010-03-09 localized typedecl;
2010-02-24 wenzelm 2010-02-24 allow general mixfix syntax for type constructors;
2010-02-22 haftmann 2010-02-22 dropped references to old axclass from documentation
2009-11-23 ballarin 2009-11-23 Generated files.
2009-11-22 ballarin 2009-11-22 Generated latex code.
2009-11-08 wenzelm 2009-11-08 added "declaration (pervasive)";
2009-07-02 haftmann 2009-07-02 instance arities can be simultaneous
2009-07-02 haftmann 2009-07-02 updated generated files
2009-06-17 haftmann 2009-06-17 refined section concerning classes
2009-05-06 haftmann 2009-05-06 tuned description of overloading
2009-03-16 wenzelm 2009-03-16 updated generated file;
2009-03-15 wenzelm 2009-03-15 updated generated files;
2009-03-12 wenzelm 2009-03-12 updated generated files;
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-02-26 wenzelm 2009-02-26 updated generated files;
2009-02-16 wenzelm 2009-02-16 updated generated files;
2009-02-15 wenzelm 2009-02-15 updated generated files;
2009-02-02 haftmann 2009-02-02 updated type class section
2009-01-22 haftmann 2009-01-22 dropped print_interps
2009-01-19 haftmann 2009-01-19 "code equation" replaces "defining equation"
2008-11-13 wenzelm 2008-11-13 updated generated files;
2008-11-10 ballarin 2008-11-10 Made doc compatible with the system.
2008-09-18 wenzelm 2008-09-18 updated generated file;
2008-09-17 wenzelm 2008-09-17 added ML_prf;
2008-09-03 wenzelm 2008-09-03 Sign.declare_const: Name.binding;
2008-09-02 ballarin 2008-09-02 Interpretation commands no longer accept interpretation attributes.
2008-08-12 wenzelm 2008-08-12 updated generated file;
2008-06-14 wenzelm 2008-06-14 updated geenrated file;
2008-06-03 wenzelm 2008-06-03 updated generated file;
2008-06-03 wenzelm 2008-06-03 updated generated file;
2008-06-02 wenzelm 2008-06-02 updated generated file;
2008-06-02 wenzelm 2008-06-02 updated generated file;
2008-06-02 wenzelm 2008-06-02 updated generated file;
2008-05-15 wenzelm 2008-05-15 updated generated file;
2008-05-10 wenzelm 2008-05-10 misc reorganization;
2008-05-09 wenzelm 2008-05-09 added chapters for "Specifications" and "Proofs";