src/Pure/General/queue.ML
Wed, 21 Mar 2012 11:00:34 +0100 wenzelm prefer explicitly qualified exception List.Empty;
Wed, 21 Jan 2009 23:21:44 +0100 wenzelm removed Ids;
Thu, 04 Sep 2008 16:43:48 +0200 wenzelm Efficient queues.
less more (0) tip