src/Pure/envir.ML
changeset 66787 64b47495676d
parent 63619 9c870388e87a
child 74232 1091880266e5