PPPredicateParser.st
changeset 197 f4f055fbacdc
parent 177 c3dfdd9bc9b6
equal deleted inserted replaced
196:520b7167815c 197:f4f055fbacdc