src/HOL/Eisbach/parse_tools.ML
changeset 60299 5ae2a2e74c93
parent 60285 b4f1a0a701ae
child 61814 1ca1142e1711