changeset 30496 | 7cdcc9dd95cb |
parent 30080 | 4cf42465b3da |
child 31017 | 2c227493ea56 |
--- a/src/HOL/NSA/NSA.thy Thu Mar 12 18:01:25 2009 +0100 +++ b/src/HOL/NSA/NSA.thy Thu Mar 12 18:01:26 2009 +0100 @@ -684,7 +684,7 @@ in val approx_reorient_simproc = - Int_Numeral_Base_Simprocs.prep_simproc + Arith_Data.prep_simproc ("reorient_simproc", ["0@=x", "1@=x", "number_of w @= x"], reorient_proc); end;