src/HOL/Statespace/state_fun.ML
2008-12-10 wenzelm 2008-12-10 more antiquotations;
2008-09-22 haftmann 2008-09-22 fixed headers
2008-06-23 wenzelm 2008-06-23 Logic.all/mk_equals/mk_implies;
2008-06-09 wenzelm 2008-06-09 DatatypePackage.distinct_simproc;
2008-03-29 wenzelm 2008-03-29 purely functional setup of claset/simpset/clasimpset;
2007-11-12 schirmer 2007-11-12 added signatures; tuned
2007-10-24 schirmer 2007-10-24 added Statespace library