src/HOL/Hyperreal/NSA.thy

--- a/src/HOL/Hyperreal/NSA.thy	Wed Sep 06 10:01:27 2006 +0200
+++ b/src/HOL/Hyperreal/NSA.thy	Wed Sep 06 13:48:02 2006 +0200
@@ -547,7 +547,7 @@
 
 in
 val approx_reorient_simproc =
-  Bin_Simprocs.prep_simproc
+  Int_Numeral_Base_Simprocs.prep_simproc
     ("reorient_simproc", ["0@=x", "1@=x", "number_of w @= x"], reorient_proc);
 end;