| Fri, 06 Aug 1999 17:28:45 +0200 | paulson | svc_enabled is now declared as a function | file | diff | annotate |
| Tue, 03 Aug 1999 13:08:58 +0200 | paulson | biconditionals and the natural numbers | file | diff | annotate |
| Mon, 02 Aug 1999 11:26:43 +0200 | paulson | the SVC oracle theory | file | diff | annotate |