src/HOL/Tools/ATP/reduce_axiomsN.ML
changeset 19599 a5c7eb37d14f
parent 19448 72dab71cb11e
child 20132 de3c295000b2