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