src/FOLP/simpdata.ML
changeset 32187 cca43ca13f4f
parent 26322 eaf634e975fa
child 35762 af3ff2ba4c54