src/HOL/Statespace/StateSpaceEx.thy
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