src/Pure/envir.ML
changeset 45107 76fef3e57004
parent 43278 1fbdcebb364b
child 51700 c8f2bad67dbb