doc-src/IsarRef/Thy/document/Spec.tex
2009-03-04 ago Merge.
2009-03-04 ago Merge.
2009-02-26 ago updated generated files;
2009-02-16 ago updated generated files;
2009-02-15 ago updated generated files;
2009-02-02 ago updated type class section
2009-01-22 ago dropped print_interps
2009-01-19 ago "code equation" replaces "defining equation"
2008-11-13 ago updated generated files;
2008-11-10 ago Made doc compatible with the system.
2008-09-18 ago updated generated file;
2008-09-17 ago added ML_prf;
2008-09-03 ago Sign.declare_const: Name.binding;
2008-09-02 ago Interpretation commands no longer accept interpretation attributes.
2008-08-12 ago updated generated file;
2008-06-14 ago updated geenrated file;
2008-06-03 ago updated generated file;
2008-06-03 ago updated generated file;
2008-06-02 ago updated generated file;
2008-06-02 ago updated generated file;
2008-06-02 ago updated generated file;
2008-05-15 ago updated generated file;
2008-05-10 ago misc reorganization;
2008-05-09 ago added chapters for "Specifications" and "Proofs";