src/Pure/context.ML
changeset 51442 8d3614b82c80
parent 51368 2ea5c7c2d825
child 51686 532e0ac5a66d