src/HOL/ATP.thy
changeset 57255 488046fdda59
parent 56946 10d9bd4ea94f
child 57262 b2c629647a14
     1.1 --- a/src/HOL/ATP.thy	Mon Jun 16 13:19:48 2014 +0200
     1.2 +++ b/src/HOL/ATP.thy	Mon Jun 16 16:18:15 2014 +0200
     1.3 @@ -16,7 +16,6 @@
     1.4  ML_file "Tools/ATP/atp_proof.ML"
     1.5  ML_file "Tools/ATP/atp_proof_redirect.ML"
     1.6  
     1.7 -
     1.8  subsection {* Higher-order reasoning helpers *}
     1.9  
    1.10  definition fFalse :: bool where