Tue, 19 Jan 1999 11:18:11 +0100 | paulson | removal of the (thm list) argument of mk_cases | 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 |
Tue, 28 Feb 1995 10:33:52 +0100 | lcp | New example by Jacob Frost, tidied by lcp | file | diff | annotate |