src/Pure/General/stack.ML
changeset 25456 6f79698f294d
parent 21272 a87b27cdd142
child 28129 8f647d24b49f