src/Pure/axclass.ML
changeset 50499 f496b2b7bafb
parent 44338 700008399ee5
child 50760 eee13361ec0a