src/FOLP/simp.ML
changeset 23709 fd31da8f752a
parent 22675 acf10be7dcca
child 24707 dfeb98f84e93