--- 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