| Tue, 03 Oct 2000 18:44:19 +0200 | wenzelm | eliminated \<oplus>; | file | diff | annotate |
| Thu, 21 Sep 2000 10:42:49 +0200 | kleing | unsymbolized | file | diff | annotate |
| Fri, 15 Sep 2000 12:39:57 +0200 | paulson | renamed (most of...) the select rules | file | diff | annotate |
| Fri, 14 Jul 2000 16:32:44 +0200 | oheimb | added (surjective_pairing RS sym) to simpset | file | diff | annotate |
| 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 |
| Mon, 10 Jan 2000 16:07:29 +0100 | nipkow | int:nat->int is pushed inwards. | file | diff | annotate |
| Mon, 03 Jan 2000 14:07:10 +0100 | oheimb | removed inj_eq from the default simpset again | file | diff | annotate |
| Mon, 03 Jan 2000 14:07:08 +0100 | oheimb | removed inj_eq from the default simpset again | file | diff | annotate |
| Thu, 11 Nov 1999 12:23:45 +0100 | nipkow | *** empty log message *** | file | diff | annotate |