src/HOL/TPTP/lib/Tools/tptp_sledgehammer
changeset 80270 1d4300506338
parent 64561 a7664ca9ffc5
equal deleted inserted replaced
80269:0428c7ad25aa 80270:1d4300506338