src/HOL/Statespace/StateFun.thy
2011-11-06 wenzelm tuned document;
2011-09-06 wenzelm tuned proofs;
2011-03-13 wenzelm tuned headers;
2010-08-27 wenzelm modernized specifications;
2010-03-01 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2010-02-11 wenzelm formal markup of @{syntax_const} and @{const_syntax};
2007-11-12 schirmer added signatures;
2007-10-24 wenzelm be explicit about .ML files;
2007-10-24 schirmer added Statespace library
less more (0) tip