1(*  Title:      HOL/Argo.thy
2    Author:     Sascha Boehme
3*)
4
5theory Argo
6imports HOL
7begin
8
9ML_file \<open>~~/src/Tools/Argo/argo_expr.ML\<close>
10ML_file \<open>~~/src/Tools/Argo/argo_term.ML\<close>
11ML_file \<open>~~/src/Tools/Argo/argo_lit.ML\<close>
12ML_file \<open>~~/src/Tools/Argo/argo_proof.ML\<close>
13ML_file \<open>~~/src/Tools/Argo/argo_rewr.ML\<close>
14ML_file \<open>~~/src/Tools/Argo/argo_cls.ML\<close>
15ML_file \<open>~~/src/Tools/Argo/argo_common.ML\<close>
16ML_file \<open>~~/src/Tools/Argo/argo_cc.ML\<close>
17ML_file \<open>~~/src/Tools/Argo/argo_simplex.ML\<close>
18ML_file \<open>~~/src/Tools/Argo/argo_thy.ML\<close>
19ML_file \<open>~~/src/Tools/Argo/argo_heap.ML\<close>
20ML_file \<open>~~/src/Tools/Argo/argo_cdcl.ML\<close>
21ML_file \<open>~~/src/Tools/Argo/argo_core.ML\<close>
22ML_file \<open>~~/src/Tools/Argo/argo_clausify.ML\<close>
23ML_file \<open>~~/src/Tools/Argo/argo_solver.ML\<close>
24
25ML_file \<open>Tools/Argo/argo_tactic.ML\<close>
26
27end
28