src/HOL/Tools/ATP/recon_order_clauses.ML
changeset 19599 a5c7eb37d14f
parent 17312 159783c74f75
child 20138 6dc6fc8b261e