| Tue, 30 Mar 1999 13:17:55 +0200 | nipkow | arith_tac | file | diff | annotate |
| Wed, 03 Feb 1999 13:23:24 +0100 | paulson | standard spelling: type-checking | file | diff | annotate |
| Tue, 19 Jan 1999 11:18:11 +0100 | paulson | removal of the (thm list) argument of mk_cases | file | diff | annotate |
| Wed, 13 Jan 1999 16:29:50 +0100 | paulson | minor updates on inductive definitions and datatypes | file | diff | annotate |
| Mon, 11 Jan 1999 10:22:04 +0100 | paulson | tidying, e.g. from \\tt to \\texttt | file | diff | annotate |
| Fri, 08 Jan 1999 14:02:04 +0100 | paulson | removal of FOL, ZF to a separate manual | file | diff | annotate |
| Mon, 02 Nov 1998 22:18:35 +0100 | wenzelm | oops; | file | diff | annotate |
| Sat, 24 Oct 1998 20:22:45 +0200 | wenzelm | records; | file | diff | annotate |
| Fri, 23 Oct 1998 19:35:20 +0200 | wenzelm | SYNC: records (draft version); | file | diff | annotate |
| Fri, 23 Oct 1998 16:27:56 +0200 | berghofe | Updated to new datatype package. | file | diff | annotate |
| Fri, 23 Oct 1998 12:31:23 +0200 | wenzelm | started to add records; | file | diff | annotate |
| Thu, 16 Jul 1998 11:50:01 +0200 | paulson | Got rid of obsolete "goal" commands. | file | diff | annotate |
| Thu, 30 Apr 1998 17:16:25 +0200 | wenzelm | fixed simpset(), claset(); | file | diff | annotate |
| Mon, 27 Apr 1998 17:52:03 +0200 | nipkow | delsplits, Addsplits, Delsplits. | file | diff | annotate |
| Thu, 09 Apr 1998 12:31:35 +0200 | paulson | Clearer description of recdef, including use of {} | file | diff | annotate |
| Fri, 30 Jan 1998 12:31:59 +0100 | paulson | Fixed the description of recdef | file | diff | annotate |
| Tue, 30 Dec 1997 13:43:39 +0100 | nipkow | nth -> ! | file | diff | annotate |
| Sun, 02 Nov 1997 14:01:38 +0100 | nipkow | Indexed split_t_case. | file | diff | annotate |
| Sun, 02 Nov 1997 13:47:58 +0100 | nipkow | Documented `split_t_case' thm genearted by datatype. | file | diff | annotate |
| Tue, 21 Oct 1997 10:52:25 +0200 | paulson | Fixed the index entries for "recursion, general" | file | diff | annotate |
| Mon, 20 Oct 1997 17:21:54 +0200 | nipkow | Documented `addsplits' | file | diff | annotate |
| Thu, 16 Oct 1997 13:13:03 +0200 | nipkow | Added last, butlast, dropped ttl. | file | diff | annotate |
| Thu, 03 Jul 1997 17:17:45 +0200 | paulson | Added documentation for recdef, and tidied some other material | file | diff | annotate |
| Thu, 03 Jul 1997 13:44:54 +0200 | nipkow | set_of_list -> set | file | diff | annotate |
| Fri, 23 May 1997 14:13:51 +0200 | nipkow | Documented `size' function for datatypes. | file | diff | annotate |
| Thu, 22 May 1997 10:49:33 +0200 | nipkow | Documented exhaust_tac. | file | diff | annotate |
| Wed, 14 May 1997 15:28:37 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 14 May 1997 15:23:58 +0200 | wenzelm | mylist instead of list in datatype ex; | file | diff | annotate |
| Mon, 12 May 1997 16:47:25 +0200 | wenzelm | minor tuning; | file | diff | annotate |
| Mon, 12 May 1997 16:46:07 +0200 | wenzelm | minor tuning; | file | diff | annotate |