doc-src/IsarRef/logics.tex
2006-10-23 haftmann 2006-10-23 added option of Haskell serializer
2006-10-20 haftmann 2006-10-20 extended section on code generator
2006-09-19 haftmann 2006-09-19 added section on code generation 2
2006-07-04 wenzelm 2006-07-04 added 'value'; tuned;
2005-09-26 berghofe 2005-09-26 Updated description of code generator.
2004-04-29 wenzelm 2004-04-29 HOLCF: discontinued special version of 'constdefs';
2004-04-22 wenzelm 2004-04-22 improved constdefs and translation functions;
2004-04-17 skalberg 2004-04-17 Added documentation for ax_specification, as well as a small comparison of ax_specification and specification.
2003-08-26 skalberg 2003-08-26 New specification syntax added (the specification may be split over several properties).
2003-07-21 skalberg 2003-07-21 Added the specification command.
2002-08-02 wenzelm 2002-08-02 fixed railroads;
2002-08-02 wenzelm 2002-08-02 typedef: "open" option;
2002-03-08 wenzelm 2002-03-08 tuned;
2002-03-08 wenzelm 2002-03-08 tuned;
2002-03-07 wenzelm 2002-03-07 tuned;
2002-03-07 wenzelm 2002-03-07 *** empty log message ***
2002-03-07 wenzelm 2002-03-07 tuned;
2002-03-06 wenzelm 2002-03-06 some more stuff; tuned;
2002-03-05 wenzelm 2002-03-05 more stuff;
2002-03-04 wenzelm 2002-03-04 tuned;
2002-03-04 wenzelm 2002-03-04 records from logics-HOL; improved typedef; tuned;
2002-02-12 wenzelm 2002-02-12 tuned;
2002-01-03 wenzelm 2002-01-03 next round of updates;