1 (* Title: Pure/General/stack.ML
2 ID: $Id$
3 Author: Makarius
2 Author: Makarius
4
3
5 Non-empty stacks.
4 Non-empty stacks.
6 *)
5 *)
7
6