src/HOL/Statespace/state_fun.ML
2009-03-08 wenzelm 2009-03-08 moved basic algebra of long names from structure NameSpace to Long_Name;
2009-03-05 wenzelm 2009-03-05 removed spurious occurrences of old rep_ss;
2009-03-05 wenzelm 2009-03-05 renamed NameSpace.base to NameSpace.base_name; renamed NameSpace.map_base to NameSpace.map_base_name; eliminated alias Sign.base_name = NameSpace.base_name;
2009-01-01 wenzelm 2009-01-01 normalized some ML type/val aliases;
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