--- a/src/HOL/Tools/Qelim/cooper_data.ML Fri Jul 20 14:27:56 2007 +0200
+++ b/src/HOL/Tools/Qelim/cooper_data.ML Fri Jul 20 14:28:01 2007 +0200
@@ -30,7 +30,7 @@
@{term "op < :: int => _"}, @{term "op < :: nat => _"},
@{term "op <= :: int => _"}, @{term "op <= :: nat => _"},
@{term "op dvd :: int => _"}, @{term "op dvd :: nat => _"},
- @{term "abs :: int => _"}, @{term "abs :: nat => _"},
+ @{term "abs :: int => _"}, (*@ {term "abs :: nat => _"}, *)
@{term "max :: int => _"}, @{term "max :: nat => _"},
@{term "min :: int => _"}, @{term "min :: nat => _"},
@{term "HOL.uminus :: int => _"}, @{term "HOL.uminus :: nat => _"},