Wed, 01 Jul 1998 11:33:39 +0200 | wenzelm | tuned Inductive.thy; | changeset | files |
Wed, 01 Jul 1998 11:20:32 +0200 | wenzelm | added add_typedecls; | changeset | files |
Tue, 30 Jun 1998 20:57:46 +0200 | berghofe | Removed structure Prod_Syntax. | changeset | files |
Tue, 30 Jun 1998 20:51:15 +0200 | berghofe | Adapted to new inductive definition package. | changeset | files |
Tue, 30 Jun 1998 20:50:34 +0200 | berghofe | Adapted to new inductive package. | changeset | files |
Tue, 30 Jun 1998 20:49:49 +0200 | berghofe | Removed obsolete comments. | changeset | files |