src/FOLP/simp.ML
changeset 23709 fd31da8f752a
parent 22675 acf10be7dcca
child 24707 dfeb98f84e93
equal deleted inserted replaced
23708:b5eb0b4dd17d 23709:fd31da8f752a