src/Pure/axclass.ML
changeset 12498 3b0091bf06e8
parent 12493 de2575b6cd38
child 12694 9950c1ce9d24