src/Cube/Example.thy
Sat, 22 Oct 2011 16:57:24 +0200 wenzelm discontinued redundant ASCII syntax;
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;
less more (0) -3 tip