equal
deleted
inserted
replaced
112 Tools/sat_funcs.ML \ |
112 Tools/sat_funcs.ML \ |
113 Tools/sat_solver.ML Tools/specification_package.ML Tools/split_rule.ML \ |
113 Tools/sat_solver.ML Tools/specification_package.ML Tools/split_rule.ML \ |
114 Tools/typedef_package.ML Transitive_Closure.ML Transitive_Closure.thy \ |
114 Tools/typedef_package.ML Transitive_Closure.ML Transitive_Closure.thy \ |
115 Typedef.thy Wellfounded_Recursion.thy Wellfounded_Relations.thy \ |
115 Typedef.thy Wellfounded_Recursion.thy Wellfounded_Relations.thy \ |
116 antisym_setup.ML arith_data.ML blastdata.ML cladata.ML \ |
116 antisym_setup.ML arith_data.ML blastdata.ML cladata.ML \ |
117 document/root.tex eqrule_HOL_data.ML hologic.ML simpdata.ML \ |
117 document/root.tex hologic.ML simpdata.ML ResAtpMethods.thy \ |
118 ResAtpMethods.thy \ |
118 Tools/res_atp_setup.ML Tools/res_atp_provers.ML Tools/res_atp_methods.ML \ |
119 Tools/res_atp_setup.ML Tools/res_atp_provers.ML Tools/res_atp_methods.ML Tools/res_hol_clause.ML |
119 Tools/res_hol_clause.ML |
120 @$(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -g true $(OUT)/Pure HOL |
120 @$(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -g true $(OUT)/Pure HOL |
121 |
121 |
122 |
122 |
123 ## HOL-Complex-HahnBanach |
123 ## HOL-Complex-HahnBanach |
124 |
124 |