src/HOL/Statespace/StateSpaceSyntax.thy
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2013-05-25 wenzelm 2013-05-25 syntax translations always depend on context;
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