Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
changed sources for HOL-Complex-Matrix
authorobua
Wed, 11 Jul 2007 11:51:12 +0200
changeset 23772 b96db2903a9a
parent 23771 bde6db239efa
child 23773 49ac25d4a14a
changed sources for HOL-Complex-Matrix
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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 \
isabelle