src/HOL/Statespace/StateSpaceSyntax.thy
2011-03-13 wenzelm 2011-03-13 tuned headers;
2010-08-27 wenzelm 2010-08-27 modernized specifications;
2010-02-11 wenzelm 2010-02-11 formal markup of @{syntax_const} and @{const_syntax}; authentic syntax for extra robustness;
2007-10-24 schirmer 2007-10-24 added Statespace library