src/HOL/ex/mesontest2.ML
changeset 12791 ccc0f45ad2c4
parent 11451 8abfb4f7bd02
child 14183 466a2a69e7e8