| Tue, 21 Sep 1999 10:39:33 +0200 | paulson | fixed SOUNDNESS BUG concerning the map from terms like ?f x y to SVC variables | file | diff | annotate |
| Thu, 19 Aug 1999 15:13:17 +0200 | paulson | removed all unnecessary code | file | diff | annotate |
| Tue, 17 Aug 1999 17:34:18 +0200 | wenzelm | remove tmp files; | file | diff | annotate |
| Tue, 03 Aug 1999 13:15:36 +0200 | paulson | biconditionals and the natural numbers | file | diff | annotate |
| Mon, 02 Aug 1999 11:29:13 +0200 | paulson | new files for the SVC link-up | file | diff | annotate |