# HG changeset patch
# User obua
# Date 1184147472 -7200
# Node ID b96db2903a9afa954a657b64fd9ce6b907a74d61
# Parent  bde6db239efa1f2ec90976d22e8ca2d932bce97a
changed sources for HOL-Complex-Matrix

diff -r bde6db239efa -r b96db2903a9a src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Jul 11 11:49:56 2007 +0200
+++ b/src/HOL/IsaMakefile	Wed Jul 11 11:51:12 2007 +0200
@@ -709,6 +709,10 @@
   $(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.ML \
+  $(SRC)/Tools/Compute_Oracle/linker.ML \
+  $(SRC)/Tools/Compute_Oracle/am_ghc.ML \
+  $(SRC)/Tools/Compute_Oracle/am_sml.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 \