src/Pure/axclass.ML
changeset 45107 76fef3e57004
parent 44338 700008399ee5
child 50760 eee13361ec0a