src/Cube/Example.thy
Sun, 15 May 2011 17:45:53 +0200 wenzelm simplified/unified method_setup/attribute_setup;
Fri, 23 Apr 2010 23:35:43 +0200 wenzelm mark schematic statements explicitly;
Sat, 13 Mar 2010 16:44:12 +0100 wenzelm removed old CVS Ids;
Mon, 16 Mar 2009 18:24:30 +0100 wenzelm simplified method setup;
Fri, 13 Mar 2009 19:58:26 +0100 wenzelm unified type Proof.method and pervasive METHOD combinators;
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