| Thu, 18 Jun 1998 10:50:16 +0200 | wenzelm | renamed thm(s) to Thm(s); | file | diff | annotate |
| Wed, 17 Jun 1998 12:44:02 +0200 | nipkow | Goal and Goalw | file | diff | annotate |
| Wed, 10 Jun 1998 11:49:41 +0200 | wenzelm | new type-safe user interface for theory data; | file | diff | annotate |
| Fri, 05 Jun 1998 14:40:07 +0200 | wenzelm | * improved the theory data mechanism to support real encapsulation; | file | diff | annotate |
| Thu, 28 May 1998 12:24:05 +0200 | wenzelm | tuned header; | file | diff | annotate |
| Thu, 14 May 1998 16:50:09 +0200 | oheimb | extended addsplits and delsplits to handle also split rules for assumptions | file | diff | annotate |
| Wed, 13 May 1998 10:21:28 +0200 | wenzelm | HOL/record: now includes concrete syntax for record terms; | file | diff | annotate |
| Wed, 06 May 1998 13:01:45 +0200 | paulson | HOL/Update | file | diff | annotate |
| Fri, 01 May 1998 11:43:38 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 01 May 1998 11:23:04 +0200 | paulson | "let" is no longer restricted to FOL terms and allows any logical terms | file | diff | annotate |
| Wed, 29 Apr 1998 11:41:36 +0200 | wenzelm | new theory section 'setup'; | file | diff | annotate |
| Wed, 29 Apr 1998 11:33:44 +0200 | wenzelm | new theory section 'nonterminals'; | file | diff | annotate |
| Wed, 29 Apr 1998 11:10:40 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
| Mon, 27 Apr 1998 19:32:19 +0200 | oheimb | cleanup for split_all_tac as wrapper in claset() | file | diff | annotate |
| Mon, 27 Apr 1998 18:06:22 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 24 Apr 1998 16:18:39 +0200 | oheimb | improved split_all_tac significantly | file | diff | annotate |
| Fri, 24 Apr 1998 13:06:17 +0200 | paulson | tidied; div & mod | file | diff | annotate |
| Fri, 24 Apr 1998 11:22:39 +0200 | oheimb | *** empty log message *** | file | diff | annotate |
| Fri, 10 Apr 1998 13:41:04 +0200 | paulson | bug fixes | file | diff | annotate |
| Tue, 07 Apr 1998 13:46:34 +0200 | oheimb | *** empty log message *** | file | diff | annotate |
| Fri, 03 Apr 1998 13:32:42 +0200 | paulson | UNITY | file | diff | annotate |
| Thu, 02 Apr 1998 12:39:32 +0200 | oheimb | *** empty log message *** | file | diff | annotate |
| Mon, 16 Mar 1998 16:54:07 +0100 | paulson | inverse -> converse | 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 |
| Wed, 11 Mar 1998 09:50:31 +0100 | nipkow | Simplifier | file | diff | annotate |
| Mon, 09 Mar 1998 16:30:55 +0100 | wenzelm | removed pred; | file | diff | annotate |
| Fri, 06 Mar 1998 15:58:16 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 27 Feb 1998 11:07:13 +0100 | paulson | Vimage | file | diff | annotate |
| Thu, 26 Feb 1998 10:48:19 +0100 | wenzelm | *** empty log message *** | file | diff | annotate |
| Wed, 25 Feb 1998 15:45:32 +0100 | oheimb | changed wrapper mechanism of classical reasoner | file | diff | annotate |