src/CCL/subset.ML

--- a/src/CCL/subset.ML	Fri Oct 10 16:29:41 1997 +0200
+++ b/src/CCL/subset.ML	Fri Oct 10 17:10:12 1997 +0200
@@ -115,7 +115,7 @@
    "(a : Compl(B)) <->  (~a:B)",
    "(a : {b})      <->  (a=b)",
    "(a : {})       <->   False",
-   "(a : {x.P(x)}) <->  P(a)" ]);
+   "(a : {x. P(x)}) <->  P(a)" ]);
 
 val set_congs = [ball_cong, bex_cong, INT_cong, UN_cong];