src/HOL/Statespace/StateSpaceLocale.thy
Thu, 18 Dec 2008 11:16:48 +0100 Norbert Schirmer adapted statespace module to new locales;
Tue, 16 Dec 2008 15:09:12 +0100 ballarin More porting to new locales.
Wed, 24 Oct 2007 19:21:40 +0200 wenzelm be explicit about .ML files;
Wed, 24 Oct 2007 18:36:09 +0200 schirmer added Statespace library
less more (0) tip