Wed, 12 Feb 1997 15:42:31 +0100 | wenzelm | tuned names: partial order, linear order; | file | diff | annotate |
Tue, 12 Mar 1996 14:39:34 +0100 | clasohm | added constdefs section | file | diff | annotate |
Mon, 15 Jan 1996 15:49:21 +0100 | wenzelm | added this stuff; | file | diff | annotate |