src/Pure/General/queue.ML
2012-03-21 wenzelm prefer explicitly qualified exception List.Empty;
2009-01-21 wenzelm removed Ids;
2008-09-04 wenzelm Efficient queues.
less more (0) tip