src/HOL/Statespace/StateSpaceEx.thy
Mon, 07 Nov 2011 21:32:59 +0100 wenzelm more benchmarks;
Sun, 06 Nov 2011 17:00:05 +0100 wenzelm some statespace benchmarks;
Sun, 06 Nov 2011 16:29:22 +0100 wenzelm tuned document;
Sun, 13 Mar 2011 22:55:50 +0100 wenzelm tuned headers;
Fri, 27 Aug 2010 22:30:25 +0200 wenzelm modernized specifications;
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