# HG changeset patch
# User webertj
# Date 1080920161 -7200
# Node ID 86f2daf48a3cef1acc667f37d3899104e051347f
# Parent  15abb7d42e2ee6c98e78eaecb6b7f0a10aa1030b
Tools/sat_solver.ML and Tools/prop_logic.ML added

diff -r 15abb7d42e2e -r 86f2daf48a3c src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Apr 02 17:28:16 2004 +0200
+++ b/src/HOL/IsaMakefile	Fri Apr 02 17:36:01 2004 +0200
@@ -100,10 +100,13 @@
   Tools/datatype_realizer.ML Tools/datatype_rep_proofs.ML \
   Tools/inductive_codegen.ML Tools/inductive_package.ML Tools/inductive_realizer.ML \
   Tools/meson.ML Tools/numeral_syntax.ML \
-  Tools/primrec_package.ML Tools/recdef_package.ML Tools/recfun_codegen.ML \
+  Tools/primrec_package.ML \
+  Tools/prop_logic.ML \
+  Tools/recdef_package.ML Tools/recfun_codegen.ML \
   Tools/record_package.ML \
   Tools/refute.ML Tools/refute_isar.ML \
   Tools/rewrite_hol_proof.ML \
+  Tools/sat_solver.ML \
   Tools/specification_package.ML \
   Tools/split_rule.ML Tools/typedef_package.ML \
   Transitive_Closure.thy Transitive_Closure.ML Typedef.thy \