| Tue, 11 Jun 2002 22:53:19 +0200 | kleing | stronger strong soundness | file | diff | annotate |
| Tue, 11 Jun 2002 12:35:33 +0200 | kleing | included strong soundness (sound + s0 <= phi!0) | file | diff | annotate |
| Thu, 04 Apr 2002 19:43:25 +0200 | kleing | tuned | file | diff | annotate |
| Thu, 04 Apr 2002 16:48:00 +0200 | kleing | flattened, uses locales | file | diff | annotate |
| Wed, 27 Mar 2002 20:44:53 +0100 | kleing | finished lbv completeness | file | diff | annotate |
| Wed, 20 Mar 2002 13:21:07 +0100 | kleing | small refactoring for lbv with semilattices | file | diff | annotate |
| Sun, 03 Mar 2002 16:59:08 +0100 | kleing | symbolized | file | diff | annotate |