src/Pure/meta_simplifier.ML
changeset 26572 9178a7f4c4c8
parent 26424 a6cad32a27b0
child 26626 c6231d64d264