src/Cube/Example.thy
Thu, 22 Jun 2006 18:48:25 +0200 ballarin Removed debugging code.
Tue, 20 Jun 2006 15:53:44 +0200 ballarin Restructured locales with predicates: import is now an interpretation.
Sat, 17 Sep 2005 12:50:57 +0200 wenzelm plain test session, includes example;
less more (0) tip