diff -r 2e9a86203d59 -r 934a58983311 llist.thy
--- a/llist.thy	Thu Mar 17 14:08:08 1994 +0100
+++ b/llist.thy	Thu Mar 17 17:02:49 1994 +0100
@@ -24,8 +24,13 @@
 *)
 
 LList = Gfp + List +
-types llist 1
-arities llist :: (term)term
+
+types
+  'a llist
+
+arities
+   llist :: (term)term
+
 consts
   LList      :: "'a node set set => 'a node set set"
   LListD_Fun ::