src/Pure/thm.ML
changeset 31448 29090e3111bd
parent 30717 465093aa5844
child 31903 c5221dbc40f6
equal deleted inserted replaced
31447:97bab1ac463e 31448:29090e3111bd