src/Pure/axclass.ML
changeset 67003 49850a679c2c
parent 63073 413184c7a2a2
child 67628 bea024ea14ae