doc-src/IsarRef/Thy/document/Spec.tex
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";