src/Pure/axclass.ML
changeset 38950 62578950e748
parent 38383 1ad96229b455
child 39133 70d3915c92f0