src/Provers/simp.ML
changeset 12311 ce5f9e61c037
parent 7645 c67115c0e105
child 13105 3d1e7a199bdc
equal deleted inserted replaced
12310:26407b087c8e 12311:ce5f9e61c037