src/HOL/ROOT
changeset 57434 6ea8b8592787
parent 57064 8a1be5efe628
child 57507 a609065c9e15
     1.1 --- a/src/HOL/ROOT	Sun Jun 29 18:28:27 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Sun Jun 29 18:30:24 2014 +0200
     1.3 @@ -665,7 +665,6 @@
     1.4    theories
     1.5      ATP_Theory_Export
     1.6      MaSh_Eval
     1.7 -    MaSh_Export
     1.8      TPTP_Interpret
     1.9      THF_Arith
    1.10      TPTP_Proof_Reconstruction