src/HOL/Tools/Presburger/presburger.ML

    ("op *", nT --> nT --> nT), 
    ("Suc", nT --> nT),
    ("HOL.max", nT --> nT --> nT),
    ("HOL.min", nT --> nT --> nT),
 
-   ("Numeral.bin.Bit", binT --> bT --> binT),
-   ("Numeral.bin.Pls", binT),
-   ("Numeral.bin.Min", binT),
+   ("Numeral.Bit", binT --> bT --> binT),
+   ("Numeral.Pls", binT),
+   ("Numeral.Min", binT),
    ("Numeral.number_of", binT --> iT),
    ("Numeral.number_of", binT --> nT),
    ("0", nT),
    ("0", iT),
    ("1", nT),