| Mon, 13 Mar 2000 16:23:34 +0100 | wenzelm | case_tac now subsumes both boolean and datatype cases; | file | diff | annotate |
| Mon, 13 Mar 2000 12:51:10 +0100 | nipkow | exhaust_tac -> cases_tac | file | diff | annotate |
| Thu, 09 Mar 2000 16:09:56 +0100 | kleing | moved more lemmas to Convert (transitivity etc) | file | diff | annotate |
| Thu, 09 Mar 2000 13:55:39 +0100 | kleing | some more small lemmas | file | diff | annotate |
| Mon, 24 Jan 2000 14:48:11 +0100 | kleing | reflexivity simp rules | file | diff | annotate |
| Wed, 12 Jan 2000 15:58:16 +0100 | nipkow | Move some lemmas to List. | file | diff | annotate |
| Fri, 19 Nov 1999 16:30:52 +0100 | oheimb | re-shaped and re-ordered conversion relations | file | diff | annotate |
| Thu, 11 Nov 1999 12:23:45 +0100 | nipkow | *** empty log message *** | file | diff | annotate |