src/Pure/axclass.ML
changeset 37251 72c7e636067b
parent 37249 8365cbc31349
child 38383 1ad96229b455