src/Pure/General/heap.ML
2019-08-20 wenzelm clarified signature;
2009-10-15 wenzelm renamed functor HeapFun to Heap;
2009-09-30 wenzelm eliminated redundant bindings;
2009-01-21 wenzelm removed Ids;
2008-10-14 wenzelm added min_elem, upto;
2007-05-31 wenzelm insert: canonical argument order;
2005-11-09 wenzelm use existing exeption Empty;
2004-06-21 kleing Merged in license change from Isabelle2004
2004-03-19 paulson Removing the datatype declaration of "order" allows the standard General.order
2000-07-23 wenzelm assimilated;
2000-06-20 paulson new module for heaps
less more (0) tip