src/Pure/Tools/named_thms.ML
changeset 72715 2615b8c05337
parent 45294 3c5d3d286055
child 74152 069f6b2c5a07
equal deleted inserted replaced
72713:fabd29c73098 72715:2615b8c05337