src/FOLP/simp.ML
changeset 58410 6d46ad54a2ab
parent 56245 84fc7dfa3cd4
child 58963 26bf09b95dda