src/Pure/axclass.ML
changeset 64092 95469c544b82
parent 63073 413184c7a2a2
child 67628 bea024ea14ae