Tue, 20 Mar 2007 15:52:40 +0100 | haftmann | added instance for lattice | file | diff | annotate |
Wed, 14 Feb 2007 10:06:12 +0100 | haftmann | added class "preorder" | file | diff | annotate |
Thu, 25 Jan 2007 09:32:36 +0100 | haftmann | improved | file | diff | annotate |
Wed, 22 Nov 2006 10:20:18 +0100 | haftmann | added code lemmas | file | diff | annotate |
Wed, 31 Aug 2005 15:46:37 +0200 | wenzelm | tuned presentation; | file | diff | annotate |
Fri, 15 Apr 2005 14:14:24 +0200 | nipkow | New | file | diff | annotate |