src/Provers/simp.ML
changeset 13157 4a4599f78f18
parent 13105 3d1e7a199bdc
child 14643 130076a81b84