# HG changeset patch
# User clasohm
# Date 763899871 -3600
# Node ID 523518f44286b7bfbca719aa9e9bccf35f0a1c74
# Parent  4abe17e921300cdee6677f51f76f9acde28e0231
adapted type definition to new syntax

diff -r 4abe17e92130 -r 523518f44286 src/CCL/Set.thy
--- a/src/CCL/Set.thy	Fri Mar 04 12:14:21 1994 +0100
+++ b/src/CCL/Set.thy	Thu Mar 17 11:24:31 1994 +0100
@@ -8,7 +8,7 @@
 Set = FOL +
 
 types
-  set 1
+  'a set
 
 arities
   set :: (term) term
diff -r 4abe17e92130 -r 523518f44286 src/CCL/set.thy
--- a/src/CCL/set.thy	Fri Mar 04 12:14:21 1994 +0100
+++ b/src/CCL/set.thy	Thu Mar 17 11:24:31 1994 +0100
@@ -8,7 +8,7 @@
 Set = FOL +
 
 types
-  set 1
+  'a set
 
 arities
   set :: (term) term
diff -r 4abe17e92130 -r 523518f44286 src/FOL/IFOL.thy
--- a/src/FOL/IFOL.thy	Fri Mar 04 12:14:21 1994 +0100
+++ b/src/FOL/IFOL.thy	Thu Mar 17 11:24:31 1994 +0100
@@ -15,7 +15,7 @@
   term
 
 types
-  o 0
+  o
 
 arities
   o :: logic
diff -r 4abe17e92130 -r 523518f44286 src/FOL/ifol.thy
--- a/src/FOL/ifol.thy	Fri Mar 04 12:14:21 1994 +0100
+++ b/src/FOL/ifol.thy	Thu Mar 17 11:24:31 1994 +0100
@@ -15,7 +15,7 @@
   term
 
 types
-  o 0
+  o
 
 arities
   o :: logic