src/Pure/General/stack.ML
2006-11-09 wenzelm 2006-11-09 separate map_top/all;
2005-10-04 wenzelm 2005-10-04 minor tweaks for Poplog/ML;
2005-09-13 wenzelm 2005-09-13 Non-empty stacks.