src/HOL/Statespace/state_fun.ML
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