1.1 --- a/src/FOL/ex/List.thy	Tue May 03 11:28:51 1994 +0200
     1.2 +++ b/src/FOL/ex/List.thy	Tue May 03 15:00:00 1994 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  
     1.5  List = Nat2 +
     1.6  
     1.7 -types list 1
     1.8 +types 'a list
     1.9  arities list :: (term)term
    1.10  
    1.11  consts