src/Pure/envir.ML
changeset 31726 ffd2dc631d88
parent 30146 a77fc0209723
child 32018 3370cea95387