equal
deleted
inserted
replaced
117 Tools/sat_solver.ML Tools/specification_package.ML Tools/split_rule.ML \ |
117 Tools/sat_solver.ML Tools/specification_package.ML Tools/split_rule.ML \ |
118 Tools/typecopy_package.ML \ |
118 Tools/typecopy_package.ML \ |
119 Tools/typedef_package.ML Tools/typedef_codegen.ML \ |
119 Tools/typedef_package.ML Tools/typedef_codegen.ML \ |
120 Transitive_Closure.ML Transitive_Closure.thy \ |
120 Transitive_Closure.ML Transitive_Closure.thy \ |
121 Typedef.thy Wellfounded_Recursion.thy Wellfounded_Relations.thy \ |
121 Typedef.thy Wellfounded_Recursion.thy Wellfounded_Relations.thy \ |
122 arith_data.ML blastdata.ML cladata.ML \ |
122 arith_data.ML \ |
123 document/root.tex hologic.ML simpdata.ML ResAtpMethods.thy \ |
123 document/root.tex hologic.ML simpdata.ML ResAtpMethods.thy \ |
124 Tools/res_atp_provers.ML Tools/res_atp_methods.ML \ |
124 Tools/res_atp_provers.ML Tools/res_atp_methods.ML \ |
125 Tools/res_hol_clause.ML \ |
125 Tools/res_hol_clause.ML \ |
126 Tools/function_package/sum_tools.ML \ |
126 Tools/function_package/sum_tools.ML \ |
127 Tools/function_package/fundef_common.ML \ |
127 Tools/function_package/fundef_common.ML \ |