| Fri, 06 Aug 1999 17:29:43 +0200 | paulson | the whole file is now loaded only if SVC is enabled | file | diff | annotate |
| Fri, 06 Aug 1999 11:06:16 +0200 | paulson | some hard propositional examples | file | diff | annotate |
| Tue, 03 Aug 1999 13:08:18 +0200 | paulson | new examples file for SVC | file | diff | annotate |