83 $(SRC)/Provers/trancl.ML $(SRC)/Tools/integer.ML \ |
83 $(SRC)/Provers/trancl.ML $(SRC)/Tools/integer.ML \ |
84 $(SRC)/Tools/rat.ML Tools/TFL/casesplit.ML \ |
84 $(SRC)/Tools/rat.ML Tools/TFL/casesplit.ML \ |
85 ATP_Linkup.thy Accessible_Part.thy Datatype.thy \ |
85 ATP_Linkup.thy Accessible_Part.thy Datatype.thy \ |
86 Divides.thy Equiv_Relations.thy Extraction.thy Finite_Set.thy \ |
86 Divides.thy Equiv_Relations.thy Extraction.thy Finite_Set.thy \ |
87 FixedPoint.thy Fun.thy FunDef.thy HOL.thy Hilbert_Choice.thy \ |
87 FixedPoint.thy Fun.thy FunDef.thy HOL.thy Hilbert_Choice.thy \ |
88 Inductive.thy IntArith.thy IntDef.thy IntDiv.thy Lattices.thy List.thy\ |
88 Inductive.thy IntArith.thy IntDef.thy IntDiv.thy Lattices.thy \ |
89 Main.thy Map.thy Nat.ML Nat.thy NatBin.thy NatSimprocs.thy Numeral.thy\ |
89 List.thy Main.thy Map.thy Nat.ML Nat.thy NatBin.thy NatSimprocs.thy \ |
90 OrderedGroup.thy Orderings.thy Power.thy PreList.thy Predicate.thy \ |
90 Numeral.thy OrderedGroup.thy Orderings.thy Power.thy PreList.thy \ |
91 Presburger.thy Product_Type.thy ROOT.ML Recdef.thy Record.thy \ |
91 Predicate.thy Presburger.thy Product_Type.thy ROOT.ML Recdef.thy \ |
92 Refute.thy Relation.thy Relation_Power.thy Ring_and_Field.thy SAT.thy \ |
92 Record.thy Refute.thy Relation.thy Relation_Power.thy \ |
93 Set.thy SetInterval.thy Sum_Type.thy Tools/ATP/reduce_axiomsN.ML \ |
93 Ring_and_Field.thy SAT.thy Set.thy SetInterval.thy Sum_Type.thy \ |
94 Tools/ATP/watcher.ML Tools/Presburger/cooper_dec.ML \ |
94 Tools/ATP/reduce_axiomsN.ML Tools/ATP/watcher.ML \ |
95 Tools/Presburger/cooper_proof.ML Tools/Presburger/presburger.ML \ |
95 Tools/Groebner_Basis/groebner.ML Tools/Groebner_Basis/misc.ML \ |
96 Tools/Presburger/qelim.ML Tools/Presburger/reflected_cooper.ML \ |
96 Tools/Groebner_Basis/normalizer.ML \ |
|
97 Tools/Groebner_Basis/normalizer_data.ML \ |
|
98 Tools/Presburger/cooper_dec.ML Tools/Presburger/cooper_proof.ML \ |
|
99 Tools/Presburger/presburger.ML Tools/Presburger/qelim.ML \ |
|
100 Tools/Presburger/reflected_cooper.ML \ |
97 Tools/Presburger/reflected_presburger.ML Tools/TFL/dcterm.ML \ |
101 Tools/Presburger/reflected_presburger.ML Tools/TFL/dcterm.ML \ |
98 Tools/TFL/post.ML Tools/TFL/rules.ML Tools/TFL/tfl.ML \ |
102 Tools/TFL/post.ML Tools/TFL/rules.ML Tools/TFL/tfl.ML \ |
99 Tools/TFL/thms.ML Tools/TFL/thry.ML Tools/TFL/usyntax.ML \ |
103 Tools/TFL/thms.ML Tools/TFL/thry.ML Tools/TFL/usyntax.ML \ |
100 Tools/TFL/utils.ML Tools/cnf_funcs.ML Tools/datatype_abs_proofs.ML \ |
104 Tools/TFL/utils.ML Tools/cnf_funcs.ML Tools/datatype_abs_proofs.ML \ |
101 Tools/datatype_aux.ML Tools/datatype_case.ML Tools/datatype_codegen.ML\ |
105 Tools/datatype_aux.ML Tools/datatype_case.ML \ |
102 Tools/datatype_hooks.ML Tools/datatype_package.ML \ |
106 Tools/datatype_codegen.ML Tools/datatype_hooks.ML \ |
103 Tools/datatype_prop.ML Tools/datatype_realizer.ML \ |
107 Tools/datatype_package.ML Tools/datatype_prop.ML \ |
104 Tools/datatype_rep_proofs.ML Tools/function_package/auto_term.ML \ |
108 Tools/datatype_realizer.ML Tools/datatype_rep_proofs.ML \ |
|
109 Tools/function_package/auto_term.ML \ |
105 Tools/function_package/context_tree.ML \ |
110 Tools/function_package/context_tree.ML \ |
106 Tools/function_package/fundef_common.ML \ |
111 Tools/function_package/fundef_common.ML \ |
107 Tools/function_package/fundef_core.ML \ |
112 Tools/function_package/fundef_core.ML \ |
108 Tools/function_package/fundef_datatype.ML \ |
113 Tools/function_package/fundef_datatype.ML \ |
109 Tools/function_package/fundef_lib.ML \ |
114 Tools/function_package/fundef_lib.ML \ |