| Sun, 24 Mar 2002 14:06:21 +0100 | kleing | cleanup + simpler monotonicity | file | diff | annotate |
| Thu, 21 Mar 2002 16:40:18 +0100 | kleing | first steps in semilattices.. | file | diff | annotate |
| Sun, 03 Mar 2002 16:59:08 +0100 | kleing | symbolized | file | diff | annotate |
| Thu, 21 Feb 2002 09:54:08 +0100 | kleing | new document | file | diff | annotate |