llist.thy
changeset 51 934a58983311
parent 38 7ef6ba42914b
--- 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 ::