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