src/HOL/Statespace/StateFun.thy
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2016-02-23 nipkow 2016-02-23 more canonical names
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2011-11-06 wenzelm 2011-11-06 tuned document; tuned proofs;
2011-09-07 wenzelm 2011-09-07 tuned proofs;
2011-03-13 wenzelm 2011-03-13 tuned headers;
2010-08-27 wenzelm 2010-08-27 modernized specifications;
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2010-02-11 wenzelm 2010-02-11 formal markup of @{syntax_const} and @{const_syntax}; authentic syntax for extra robustness;
2007-11-12 schirmer 2007-11-12 added signatures; tuned
2007-10-24 wenzelm 2007-10-24 be explicit about .ML files;
2007-10-24 schirmer 2007-10-24 added Statespace library