src/FOL/simpdata.ML
changeset 28337 93964076e7b8
parent 28262 aa7ca36d67fd
child 30609 983e8b6e4e69
equal deleted inserted replaced
28336:a8edf4c69a79 28337:93964076e7b8