src/LCF/simpdata.ML
changeset 16813 67140ae50e77
parent 1461 6bcb44e4d6e5