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.
adding new predicate compiler files to the IsaMakefile
authorbulwahn
Mon, 25 Oct 2010 21:17:16 +0200
changeset 40141 0e8a4e27a685
parent 40140 8282b87f957c
child 40142 128f8a1611e6
adding new predicate compiler files to the IsaMakefile
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Mon Oct 25 21:17:15 2010 +0200
+++ b/src/HOL/IsaMakefile	Mon Oct 25 21:17:16 2010 +0200
@@ -306,12 +306,15 @@
   Tools/numeral.ML \
   Tools/numeral_simprocs.ML \
   Tools/numeral_syntax.ML \
+  Tools/Predicate_Compile/core_data.ML \
+  Tools/Predicate_Compile/mode_inference.ML \
   Tools/Predicate_Compile/predicate_compile_aux.ML \
   Tools/Predicate_Compile/predicate_compile_compilations.ML \
   Tools/Predicate_Compile/predicate_compile_core.ML \
   Tools/Predicate_Compile/predicate_compile_data.ML \
   Tools/Predicate_Compile/predicate_compile_fun.ML \
   Tools/Predicate_Compile/predicate_compile.ML \
+  Tools/Predicate_Compile/predicate_compile_proof.ML \
   Tools/Predicate_Compile/predicate_compile_specialisation.ML \
   Tools/Predicate_Compile/predicate_compile_pred.ML \
   Tools/quickcheck_generators.ML \
isabelle