src/Pure/goal.ML
changeset 56369 2704ca85be98
parent 56245 84fc7dfa3cd4
child 58008 aa72531f972f
equal deleted inserted replaced
56368:0646f63a02b7 56369:2704ca85be98