src/HOL/ROOT
changeset 55596 928b9f677165
parent 55450 9eddc17749f7
child 55601 b7f4da504b75
     1.1 --- a/src/HOL/ROOT	Wed Feb 19 15:57:02 2014 +0000
     1.2 +++ b/src/HOL/ROOT	Wed Feb 19 15:57:02 2014 +0000
     1.3 @@ -668,6 +668,7 @@
     1.4      MaSh_Export
     1.5      TPTP_Interpret
     1.6      THF_Arith
     1.7 +    TPTP_Proof_Reconstruction
     1.8    theories
     1.9      ATP_Problem_Import
    1.10