src/CCL/set.thy
changeset 278 523518f44286
parent 0 a5a9c433f639
     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