adapted type definition to new syntax
authorclasohm
Thu Mar 17 11:24:31 1994 +0100 (1994-03-17)
changeset 278523518f44286
parent 277 4abe17e92130
child 279 7738aed3f84d
adapted type definition to new syntax
src/CCL/Set.thy
src/CCL/set.thy
src/FOL/IFOL.thy
src/FOL/ifol.thy
     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