Mon, 13 Mar 2000 12:51:10 +0100 | nipkow | exhaust_tac -> cases_tac | file | diff | annotate |
Mon, 21 Sep 1998 23:17:28 +0200 | oheimb | improved addbefore and addSbefore | file | diff | annotate |
Thu, 10 Sep 1998 17:26:53 +0200 | paulson | tidied, eliminating hard proof | file | diff | annotate |
Mon, 17 Aug 1998 13:09:40 +0200 | paulson | expandshort | file | diff | annotate |
Fri, 14 Aug 1998 12:03:01 +0200 | paulson | expandshort | file | diff | annotate |
Thu, 06 Aug 1998 10:33:54 +0200 | nipkow | First steps towards termination of simply typed terms. | file | diff | annotate |