src/Pure/envir.ML
changeset 1868 836950047d85
parent 1500 b2de3b3277b8
child 2142 20f208ff085d