src/HOL/Statespace/StateFun.thy
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