src/HOL/Statespace/state_space.ML
2008-12-18 Norbert Schirmer 2008-12-18 adapted statespace module to new locales;
2008-12-10 wenzelm 2008-12-10 more antiquotations;
2008-12-04 haftmann 2008-12-04 cleaned up binding module and related code
2008-11-17 haftmann 2008-11-17 adjusted locale signature to *_cmd convention
2008-09-29 wenzelm 2008-09-29 LocalTheory.exit_global;
2008-09-22 haftmann 2008-09-22 fixed headers
2008-09-02 wenzelm 2008-09-02 explicit type Name.binding for higher-specification elements;
2008-07-25 haftmann 2008-07-25 dropped locale (open)
2008-06-19 wenzelm 2008-06-19 tuned signature; removed duplicates of read_typ/cert_typ (cf. RecordPackage.read_typ/cert_typ);
2008-06-19 wenzelm 2008-06-19 tuned signature; removed duplicate of RecordPackage.read_typ; replaced Typetab by existing Typtab;
2008-03-29 wenzelm 2008-03-29 purely functional setup of claset/simpset/clasimpset;
2008-03-29 wenzelm 2008-03-29 eliminated quiete_mode ref (not really needed);
2008-03-20 wenzelm 2008-03-20 simplified get_thm(s): back to plain name argument;
2008-03-19 wenzelm 2008-03-19 renamed datatype thmref to Facts.ref, tuned interfaces;
2008-01-28 wenzelm 2008-01-28 added ::: / @@@ scanner combinators;
2007-12-18 wenzelm 2007-12-18 PrintMode.setmp (avoid direct access to print_mode ref);
2007-11-12 schirmer 2007-11-12 added signatures; tuned
2007-10-24 schirmer 2007-10-24 added Statespace library