src/HOL/Tools/res_atp.ML
changeset 22422 ee19cdb07528
parent 22382 dbf09db0a40d
child 22578 b0eb5652f210
     1.1 --- a/src/HOL/Tools/res_atp.ML	Tue Mar 06 16:40:32 2007 +0100
     1.2 +++ b/src/HOL/Tools/res_atp.ML	Fri Mar 09 08:45:50 2007 +0100
     1.3 @@ -374,8 +374,8 @@
     1.4     "NatSimprocs.zero_less_divide_iff_number_of",
     1.5     "OrderedGroup.abs_0_eq", (*duplicate by symmetry*)
     1.6     "OrderedGroup.diff_eq_0_iff_eq", (*prolific?*)
     1.7 -   "OrderedGroup.join_0_eq_0",
     1.8 -   "OrderedGroup.meet_0_eq_0",
     1.9 +   "OrderedGroup.sup_0_eq_0",
    1.10 +   "OrderedGroup.inf_0_eq_0",
    1.11     "OrderedGroup.pprt_eq_0",   (*obscure*)
    1.12     "OrderedGroup.pprt_eq_id",   (*obscure*)
    1.13     "OrderedGroup.pprt_mono",   (*obscure*)