| Tue, 20 Aug 2019 11:01:05 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 15 Oct 2009 11:12:09 +0200 | wenzelm | renamed functor HeapFun to Heap; | file | diff | annotate |
| Wed, 30 Sep 2009 22:20:58 +0200 | wenzelm | eliminated redundant bindings; | file | diff | annotate |
| Wed, 21 Jan 2009 23:21:44 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Tue, 14 Oct 2008 13:01:57 +0200 | wenzelm | added min_elem, upto; | file | diff | annotate |
| Thu, 31 May 2007 23:47:38 +0200 | wenzelm | insert: canonical argument order; | file | diff | annotate |
| Wed, 09 Nov 2005 16:26:49 +0100 | wenzelm | use existing exeption Empty; | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Fri, 19 Mar 2004 10:42:38 +0100 | paulson | Removing the datatype declaration of "order" allows the standard General.order | file | diff | annotate |
| Sun, 23 Jul 2000 12:06:46 +0200 | wenzelm | assimilated; | file | diff | annotate |
| Tue, 20 Jun 2000 11:54:22 +0200 | paulson | new module for heaps | file | diff | annotate |