src/LCF/simpdata.ML
changeset 6019 0e55c2fb2ebb
parent 1461 6bcb44e4d6e5