changeset 55178 | 318cd8ac1817 |
parent 54148 | c8cc5ab4a863 |
child 55509 | bd67ebe275e0 |
--- a/src/HOL/Metis.thy Thu Jan 30 13:38:28 2014 +0100 +++ b/src/HOL/Metis.thy Thu Jan 30 13:38:28 2014 +0100 @@ -52,9 +52,4 @@ fequal_table fAll_table fEx_table fNot_law fComp_law fconj_laws fdisj_laws fimplies_laws fequal_laws fAll_law fEx_law lambda_def eq_lambdaI - -subsection {* Try0 *} - -ML_file "Tools/try0.ML" - end