1.1 --- a/src/FOLP/ex/Nat.thy	Tue May 03 15:00:00 1994 +0200
     1.2 +++ b/src/FOLP/ex/Nat.thy	Tue May 03 15:14:54 1994 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  *)
     1.5  
     1.6  Nat = IFOLP +
     1.7 -types   nat 0
     1.8 +types   nat
     1.9  arities nat         :: term
    1.10  consts  "0"         :: "nat"    ("0")
    1.11          Suc         :: "nat=>nat"

     2.1 --- a/src/FOLP/ex/Prolog.thy	Tue May 03 15:00:00 1994 +0200
     2.2 +++ b/src/FOLP/ex/Prolog.thy	Tue May 03 15:14:54 1994 +0200
     2.3 @@ -9,7 +9,7 @@
     2.4  *)
     2.5  
     2.6  Prolog = FOL +
     2.7 -types   list 1
     2.8 +types   'a list
     2.9  arities list    :: (term)term
    2.10  consts  Nil     :: "'a list"
    2.11          ":"     :: "['a, 'a list]=> 'a list"            (infixr 60)