| Mon, 28 Feb 2000 10:49:08 +0100 | paulson | new thm vimage_Collect_eq | file | diff | annotate |
| Mon, 31 Jan 2000 16:19:14 +0100 | paulson | new theorem vimage_Union | file | diff | annotate |
| Mon, 11 Oct 1999 10:50:41 +0200 | paulson | new thm vimage_INT; deleted redundant UN_vimage | file | diff | annotate |
| Wed, 08 Sep 1999 15:39:52 +0200 | paulson | moved identity theorems to Fun.ML | file | diff | annotate |
| Mon, 19 Jul 1999 15:24:35 +0200 | paulson | getting rid of qed_goal | file | diff | annotate |
| Tue, 15 Sep 1998 15:04:07 +0200 | paulson | From Compl(A) to -A | file | diff | annotate |
| Wed, 15 Jul 1998 10:15:13 +0200 | paulson | Removal of leading "\!\!..." from most Goal commands | file | diff | annotate |
| Fri, 03 Jul 1998 17:34:24 +0200 | wenzelm | removed duplicate thms; | file | diff | annotate |
| Tue, 30 Jun 1998 20:40:29 +0200 | berghofe | Added additional theorems needed for inductive definitions. | file | diff | annotate |
| Mon, 22 Jun 1998 17:26:46 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
| Thu, 12 Mar 1998 10:40:08 +0100 | paulson | New, stronger rewrites | file | diff | annotate |
| Wed, 11 Mar 1998 11:05:30 +0100 | paulson | new theorem | file | diff | annotate |
| Thu, 05 Mar 1998 10:47:27 +0100 | paulson | New theorem and simprules | file | diff | annotate |
| Tue, 03 Mar 1998 15:12:57 +0100 | paulson | New theorems | file | diff | annotate |
| Fri, 27 Feb 1998 11:06:28 +0100 | paulson | New vimage laws | file | diff | annotate |
| Tue, 24 Feb 1998 11:35:33 +0100 | paulson | New theory of the inverse image of a function | file | diff | annotate |