src/LCF/lcf.ML
changeset 1568 630d881b51bd
parent 0 a5a9c433f639