| 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 |