removal of obsolete type-declaration syntax

--- 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

--- a/src/ZF/ZF.thy	Tue May 03 11:17:08 1994 +0200
+++ b/src/ZF/ZF.thy	Tue May 03 11:28:51 1994 +0200
@@ -9,7 +9,7 @@
 ZF = FOL +
 
 types
-  i, is 0
+  i  is
 
 arities
   i :: term