--- a/src/HOL/Tools/Presburger/presburger.ML Wed Jun 30 14:04:58 2004 +0200
+++ b/src/HOL/Tools/Presburger/presburger.ML Thu Jul 01 12:29:53 2004 +0200
@@ -120,9 +120,9 @@
("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),