1.1 --- a/src/FOL/ex/Prolog.thy	Tue May 03 11:28:51 1994 +0200
     1.2 +++ b/src/FOL/ex/Prolog.thy	Tue May 03 15:00:00 1994 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  *)
     1.5  
     1.6  Prolog = FOL +
     1.7 -types   list 1
     1.8 +types   'a list
     1.9  arities list    :: (term)term
    1.10  consts  Nil     :: "'a list"
    1.11          ":"     :: "['a, 'a list]=> 'a list"            (infixr 60)