diff -r 21291189b51e -r 9f35f2744fa8 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