src/HOL/Statespace/StateFun.thy
Sun, 06 Nov 2011 16:29:22 +0100 wenzelm tuned document;
Wed, 07 Sep 2011 00:08:09 +0200 wenzelm tuned proofs;
Sun, 13 Mar 2011 22:55:50 +0100 wenzelm tuned headers;
Fri, 27 Aug 2010 22:30:25 +0200 wenzelm modernized specifications;
Mon, 01 Mar 2010 13:40:23 +0100 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
Thu, 11 Feb 2010 22:55:16 +0100 wenzelm formal markup of @{syntax_const} and @{const_syntax};
Mon, 12 Nov 2007 11:07:22 +0100 schirmer added signatures;
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