src/LCF/simpdata.ML
changeset 7866 3ccaa11b6df9
parent 1461 6bcb44e4d6e5