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