src/Pure/Tools/named_thms.ML
changeset 38950 62578950e748
parent 36296 5cc547abd995
child 39557 fe5722fce758