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 |