diff -r 825bea0266db -r 48816d825078 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Jul 09 17:39:55 2007 +0200
+++ b/src/HOL/IsaMakefile	Mon Jul 09 22:06:49 2007 +0200
@@ -709,7 +709,6 @@
   $(SRC)/Tools/Compute_Oracle/Compute_Oracle.thy \
   $(SRC)/Tools/Compute_Oracle/am_compiler.ML \
   $(SRC)/Tools/Compute_Oracle/am_interpreter.ML \
-  $(SRC)/Tools/Compute_Oracle/am_util.ML \
   $(SRC)/Tools/Compute_Oracle/compute.ML \
   Matrix/MatrixGeneral.thy Matrix/Matrix.thy Matrix/SparseMatrix.thy \
   Matrix/LP.thy Matrix/document/root.tex Matrix/ROOT.ML \