1.1 --- a/src/CCL/Set.thy Fri Mar 04 12:14:21 1994 +0100
1.2 +++ b/src/CCL/Set.thy Thu Mar 17 11:24:31 1994 +0100
1.3 @@ -8,7 +8,7 @@
1.4 Set = FOL +
1.5
1.6 types
1.7 - set 1
1.8 + 'a set
1.9
1.10 arities
1.11 set :: (term) term
2.1 --- a/src/CCL/set.thy Fri Mar 04 12:14:21 1994 +0100
2.2 +++ b/src/CCL/set.thy Thu Mar 17 11:24:31 1994 +0100
2.3 @@ -8,7 +8,7 @@
2.4 Set = FOL +
2.5
2.6 types
2.7 - set 1
2.8 + 'a set
2.9
2.10 arities
2.11 set :: (term) term
3.1 --- a/src/FOL/IFOL.thy Fri Mar 04 12:14:21 1994 +0100
3.2 +++ b/src/FOL/IFOL.thy Thu Mar 17 11:24:31 1994 +0100
3.3 @@ -15,7 +15,7 @@
3.4 term
3.5
3.6 types
3.7 - o 0
3.8 + o
3.9
3.10 arities
3.11 o :: logic
4.1 --- a/src/FOL/ifol.thy Fri Mar 04 12:14:21 1994 +0100
4.2 +++ b/src/FOL/ifol.thy Thu Mar 17 11:24:31 1994 +0100
4.3 @@ -15,7 +15,7 @@
4.4 term
4.5
4.6 types
4.7 - o 0
4.8 + o
4.9
4.10 arities
4.11 o :: logic