| Tue, 17 Aug 1999 22:11:05 +0200 | wenzelm | turned SVC_Oracle into a new-style theory in order to get automatic | 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 |