src/Cube/Cube.thy

--- a/src/Cube/Cube.thy	Tue May 03 11:17:08 1994 +0200
+++ b/src/Cube/Cube.thy	Tue May 03 11:28:51 1994 +0200
@@ -9,7 +9,7 @@
 Cube = Pure +
 
 types
-  term, context, typing 0
+  term  context  typing
 
 arities
   term :: logic