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.
Tools/sat_solver.ML and Tools/prop_logic.ML added
authorwebertj
Fri, 02 Apr 2004 17:36:01 +0200
changeset 14515 86f2daf48a3c
parent 14514 15abb7d42e2e
child 14516 a183dec876ab
Tools/sat_solver.ML and Tools/prop_logic.ML added
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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 \
isabelle