# HG changeset patch
# User lcp
# Date 767970894 -7200
# Node ID b5030aaca2abee4704aadb99bcab6548d615d9e1
# Parent  fd3ab8bcb69dfed82ede8f12896dfcacb8294c4b
removal of obsolete type-declaration syntax

diff -r fd3ab8bcb69d -r b5030aaca2ab src/FOLP/ex/Nat.thy
--- a/src/FOLP/ex/Nat.thy	Tue May 03 15:00:00 1994 +0200
+++ b/src/FOLP/ex/Nat.thy	Tue May 03 15:14:54 1994 +0200
@@ -9,7 +9,7 @@
 *)
 
 Nat = IFOLP +
-types   nat 0
+types   nat
 arities nat         :: term
 consts  "0"         :: "nat"    ("0")
         Suc         :: "nat=>nat"
diff -r fd3ab8bcb69d -r b5030aaca2ab src/FOLP/ex/Prolog.thy
--- a/src/FOLP/ex/Prolog.thy	Tue May 03 15:00:00 1994 +0200
+++ b/src/FOLP/ex/Prolog.thy	Tue May 03 15:14:54 1994 +0200
@@ -9,7 +9,7 @@
 *)
 
 Prolog = FOL +
-types   list 1
+types   'a list
 arities list    :: (term)term
 consts  Nil     :: "'a list"
         ":"     :: "['a, 'a list]=> 'a list"            (infixr 60)