src/Pure/General/heap.ML
2000-07-23 wenzelm 2000-07-23 assimilated;
2000-06-20 paulson 2000-06-20 new module for heaps