# HG changeset patch
# User lcp
# Date 789876154 -3600
# Node ID 2e3ca37dfa141e835ef56923db57e0bf7cdccab6
# Parent  a4b286dfdd6f1830e18b714fc2cb667b4028835b
Removed spurious comment about eq_cs

diff -r a4b286dfdd6f -r 2e3ca37dfa14 src/ZF/ZF.ML
--- a/src/ZF/ZF.ML	Thu Jan 12 03:02:05 1995 +0100
+++ b/src/ZF/ZF.ML	Thu Jan 12 03:02:34 1995 +0100
@@ -411,7 +411,6 @@
     swap_res_tac [minor] 1,
     assume_tac 1 ]);
 
-(*Can replace most uses by eq_cs (which is ZF_cs addSIs [equalityI])*)
 (*A claset that leaves <= formulae unchanged!*)
 val subset0_cs = FOL_cs
   addSIs [ballI, InterI, CollectI, PowI, empty_subsetI]