src/LCF/simpdata.ML
changeset 7714 e6aa4fca983e
parent 1461 6bcb44e4d6e5