src/FOLP/simp.ML
changeset 5769 6a422b22ba02
parent 4271 3a82492e70c5
child 5963 94709c11601e