List.thy

--- a/List.thy	Wed Mar 02 12:26:55 1994 +0100
+++ b/List.thy	Thu Mar 17 11:27:29 1994 +0100
@@ -13,7 +13,7 @@
 List = Sexp +
 
 types
-  list 1
+  'a list
 
 arities
   list :: (term) term