| Tue, 18 Nov 1997 15:30:50 +0100 | berghofe | Fixed bug in inst_split. | file | diff | annotate |
| Mon, 17 Nov 1997 09:52:20 +0100 | berghofe | Tuned function mk_cntxt_splitthm. | file | diff | annotate |
| Wed, 12 Nov 1997 12:22:56 +0100 | oheimb | renamed split_prem_tac to split_asm_tac | file | diff | annotate |
| Fri, 07 Nov 1997 18:05:25 +0100 | oheimb | added split_prem_tac | file | diff | annotate |
| Fri, 17 Oct 1997 15:23:14 +0200 | nipkow | Added error messages. | file | diff | annotate |
| Fri, 10 Oct 1997 15:52:12 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Tue, 22 Jul 1997 11:12:55 +0200 | paulson | Removal of the tactical STATE | file | diff | annotate |
| Thu, 28 Nov 1996 10:44:24 +0100 | paulson | Replaced map...~~ by ListPair.map | file | diff | annotate |
| Fri, 01 Nov 1996 15:15:39 +0100 | paulson | Replaced min by Int.min | file | diff | annotate |
| Mon, 06 May 1996 15:19:50 +0200 | berghofe | Rewrote mk_cntxt_splitthm. Added function mk_case_split_inside_tac. | file | diff | annotate |
| Thu, 25 Apr 1996 13:03:57 +0200 | berghofe | Added functions mk_cntxt_splitthm and inst_split which instantiate | file | diff | annotate |
| Sun, 16 Apr 1995 11:56:11 +0200 | nipkow | Fixed bug. | file | diff | annotate |
| Thu, 13 Apr 1995 10:20:55 +0200 | nipkow | Completely rewrote split_tac. The old one failed in strange circumstances. | file | diff | annotate |
| Wed, 08 Mar 1995 14:35:26 +0100 | nipkow | Replaced read by read_cterm. | file | diff | annotate |
| Fri, 03 Mar 1995 12:48:06 +0100 | clasohm | replaced Pure by ProtoPure | file | diff | annotate |
| Tue, 18 Jan 1994 16:37:12 +0100 | lcp | Updated refs to old Sign functions | file | diff | annotate |
| Thu, 16 Sep 1993 17:41:10 +0200 | nipkow | added header | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |