Tue, 19 Jan 1999 11:18:11 +0100 | paulson | removal of the (thm list) argument of mk_cases | file | diff | annotate |
Mon, 28 Dec 1998 16:54:53 +0100 | paulson | converted to use new primrec section and update operator | file | diff | annotate |
Mon, 03 Nov 1997 12:24:13 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
Fri, 03 Jan 1997 15:01:55 +0100 | paulson | Implicit simpsets and clasets for FOL and ZF | file | diff | annotate |
Tue, 30 Jan 1996 13:42:57 +0100 | clasohm | expanded tabs | file | diff | annotate |
Fri, 22 Dec 1995 13:33:40 +0100 | paulson | Added line breaks and other cosmetic changes | file | diff | annotate |
Fri, 12 Aug 1994 10:20:07 +0200 | lcp | re-organized using new theory sections | file | diff | annotate |
Thu, 21 Jul 1994 14:27:00 +0200 | nipkow | Initial revision | file | diff | annotate |