src/Pure/envir.ML
changeset 10168 50be659d4222
parent 8407 d522ad1809e9
child 10485 f1576723371f