src/Pure/variable.ML
changeset 40710 499aa989fbad
parent 40124 fc77d3211f71
child 42357 3305f573294e