src/HOL/Statespace/StateSpaceSyntax.thy
2007-10-24 schirmer 2007-10-24 added Statespace library