| Wed, 21 Nov 2001 00:36:51 +0100 | wenzelm | use tracing function for trace output; | file | diff | annotate |
| Mon, 08 Oct 2001 12:27:19 +0200 | wenzelm | replace 0r/1r by 0/1; | file | diff | annotate |
| Fri, 12 Jan 2001 20:04:00 +0100 | wenzelm | HOLogic.dest_binum; | file | diff | annotate |
| 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 |