src/HOL/Statespace/StateSpaceEx.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2013-07-18 wenzelm 2013-07-18 explicit padding on command boundary for "auto" generated sendback -- do not replace the corresponding goal command, but append to it;
2012-12-10 wenzelm 2012-12-10 generalized notion of active area, where sendback is just one application; some support for graphview via active area;
2012-11-22 wenzelm 2012-11-22 more abstract Sendback operations, with explicit id/exec_id properties; purge result messages (again), cf. db58490a68ac, 7b61a539721e;
2012-10-10 wenzelm 2012-10-10 more explicit namespace prefix for 'statespace' -- duplicate facts;
2011-11-28 wenzelm 2011-11-28 separate module for concrete Isabelle markup;
2011-11-07 wenzelm 2011-11-07 more benchmarks;
2011-11-06 wenzelm 2011-11-06 some statespace benchmarks;
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;
2009-01-16 haftmann 2009-01-16 migrated class package to new locale implementation
2008-12-19 ballarin 2008-12-19 Merged.
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.
2008-10-16 ballarin 2008-10-16 More occurrences of 'includes' gone.
2007-10-24 schirmer 2007-10-24 added Statespace library