src/Pure/axclass.ML
changeset 71749 77232ff6b8f6
parent 70475 98b6da301e13
child 74561 8e6c973003c8