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 |