src/Pure/axclass.ML
changeset 66787 64b47495676d
parent 63073 413184c7a2a2
child 67628 bea024ea14ae