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