src/HOL/Statespace/StateSpaceLocale.thy
5 weeks ago wenzelm 2019-03-14 more specific keyword kinds;
3 months ago wenzelm 2019-01-06 isabelle update -u path_cartouches;
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2016-02-23 nipkow 2016-02-23 more canonical names
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
2012-03-15 wenzelm 2012-03-15 declare command keywords via theory header, including strict checking outside Pure;
2011-11-06 wenzelm 2011-11-06 tuned document; tuned proofs;
2011-03-13 wenzelm 2011-03-13 tuned headers;
2010-08-27 wenzelm 2010-08-27 modernized specifications;
2008-12-18 Norbert Schirmer 2008-12-18 adapted statespace module to new locales;
2008-12-16 ballarin 2008-12-16 More porting to new locales.
2007-10-24 wenzelm 2007-10-24 be explicit about .ML files;
2007-10-24 schirmer 2007-10-24 added Statespace library