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 |