src/ZF/OrdQuant.ML
changeset 6093 87bf8c03b169
parent 5553 ae42b36a50c2
child 6112 5e4871c5136b
     1.1 --- a/src/ZF/OrdQuant.ML	Tue Jan 12 13:54:51 1999 +0100
     1.2 +++ b/src/ZF/OrdQuant.ML	Tue Jan 12 15:17:37 1999 +0100
     1.3 @@ -95,7 +95,7 @@
     1.4  AddSEs [oexE, OUN_E];
     1.5  AddEs  [rev_oallE];
     1.6  
     1.7 -val Ord_atomize = atomize (("oall", [ospec])::ZF_conn_pairs, 
     1.8 +val Ord_atomize = atomize (("OrdQuant.oall", [ospec])::ZF_conn_pairs, 
     1.9                             ZF_mem_pairs);
    1.10  
    1.11  simpset_ref() := simpset() setmksimps (map mk_eq o Ord_atomize o gen_all)