| Fri, 30 Apr 1999 18:10:03 +0200 | wenzelm | theory data: copy; | file | diff | annotate |
| Tue, 27 Apr 1999 10:50:31 +0200 | wenzelm | intrs attributes; | file | diff | annotate |
| Fri, 16 Apr 1999 14:48:16 +0200 | wenzelm | 'HOL/inductive' theory data; | file | diff | annotate |
| Wed, 14 Apr 1999 19:05:28 +0200 | wenzelm | triple_swap; | file | diff | annotate |
| Wed, 14 Apr 1999 15:58:01 +0200 | wenzelm | tuned messages; | file | diff | annotate |
| Wed, 14 Apr 1999 14:42:23 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Wed, 17 Mar 1999 16:53:46 +0100 | wenzelm | Theory.sign_of; | file | diff | annotate |
| Tue, 19 Jan 1999 11:18:11 +0100 | paulson | removal of the (thm list) argument of mk_cases | file | diff | annotate |
| Tue, 12 Jan 1999 13:54:51 +0100 | wenzelm | eliminated tthm type and Attribute structure; | file | diff | annotate |
| Mon, 16 Nov 1998 11:14:02 +0100 | wenzelm | Attribute.tthms_of; | file | diff | annotate |
| Wed, 21 Oct 1998 17:52:38 +0200 | berghofe | Changed interface of add_inductive: monos and con_defs are now | file | diff | annotate |
| Fri, 16 Oct 1998 18:55:34 +0200 | berghofe | Added quiet_mode flag. | file | diff | annotate |
| Thu, 24 Sep 1998 17:17:14 +0200 | oheimb | renamed mk_meta_eq to mk_eq | file | diff | annotate |
| Wed, 12 Aug 1998 16:20:49 +0200 | oheimb | renamed mk_meta_eq to meta_eq | file | diff | annotate |
| Fri, 24 Jul 1998 12:53:04 +0200 | berghofe | Replaced Nat.thy by NatDef.thy because Nat.thy depends on | file | diff | annotate |
| Wed, 15 Jul 1998 18:26:15 +0200 | berghofe | Fixed bug in transform_rule. | file | diff | annotate |
| Fri, 03 Jul 1998 11:02:01 +0200 | berghofe | Removed disjE from list of rules used to simplify elimination | file | diff | annotate |
| Wed, 01 Jul 1998 19:03:54 +0200 | berghofe | Fixed bug (improper handling of flag no_ind). | file | diff | annotate |
| Tue, 30 Jun 1998 20:39:43 +0200 | berghofe | New inductive definition package | file | diff | annotate |