src/HOL/Statespace/StateSpaceLocale.thy
Wed, 24 Oct 2007 18:36:09 +0200 schirmer added Statespace library
less more (0) tip