src/HOL/Statespace/StateSpaceEx.thy
Fri, 16 Jan 2009 14:58:11 +0100 haftmann migrated class package to new locale implementation
Fri, 19 Dec 2008 15:05:37 +0100 ballarin Merged.
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.
Thu, 16 Oct 2008 17:19:47 +0200 ballarin More occurrences of 'includes' gone.
Wed, 24 Oct 2007 18:36:09 +0200 schirmer added Statespace library
less more (0) tip