| Mon, 08 Feb 1999 13:02:56 +0100 | wenzelm | updated (Stephan Merz); | file | diff | annotate |
| Fri, 23 Oct 1998 20:35:19 +0200 | oheimb | corrected auto_tac (applications of unsafe wrappers) | file | diff | annotate |
| Mon, 21 Sep 1998 23:17:28 +0200 | oheimb | improved addbefore and addSbefore | file | diff | annotate |
| Fri, 24 Jul 1998 13:19:38 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Fri, 24 Apr 1998 16:18:39 +0200 | oheimb | improved split_all_tac significantly | file | diff | annotate |
| Thu, 12 Mar 1998 13:17:13 +0100 | oheimb | renamed not1_or to disj_not1, not2_or to disj_not2 | file | diff | annotate |
| Tue, 10 Mar 1998 18:32:08 +0100 | oheimb | added not1_or and if_eq_cancel to simpset() | file | diff | annotate |