src/HOL/Statespace/StateSpaceSyntax.thy
Sat, 25 May 2013 15:37:53 +0200 wenzelm syntax translations always depend on context;
Sun, 13 Mar 2011 22:55:50 +0100 wenzelm tuned headers;
Fri, 27 Aug 2010 22:30:25 +0200 wenzelm modernized specifications;
Thu, 11 Feb 2010 22:55:16 +0100 wenzelm formal markup of @{syntax_const} and @{const_syntax};
Wed, 24 Oct 2007 18:36:09 +0200 schirmer added Statespace library
less more (0) tip