src/Pure/Isar/overloading.ML
changeset 71729 8ed68b2aeba1
parent 69829 3bfa28b3a5b2
child 72505 974071d873ba