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