--- a/nat.thy	Thu Mar 17 14:08:08 1994 +0100
+++ b/nat.thy	Thu Mar 17 17:02:49 1994 +0100
@@ -9,9 +9,14 @@
 *)
 
 Nat = WF +
-types ind,nat 0
-arities ind,nat :: term
-        nat :: ord
+
+types
+  ind
+  nat
+
+arities
+  ind,nat :: term
+  nat     :: ord
 
 consts
   Zero_Rep	:: "ind"