src/Pure/Tools/simplifier_trace.ML
changeset 59058 a78612c67ec0
parent 57596 3a1b1bda702f
child 60747 4ced3c6ad807