| 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 |
| Tue, 30 Jun 1998 20:46:35 +0200 | berghofe | Removed old inductive definition package. | changeset | files |
| Tue, 30 Jun 1998 20:43:36 +0200 | berghofe | Removed structure Prod_Syntax. | changeset | files |
| Tue, 30 Jun 1998 20:42:47 +0200 | berghofe | Adapted to new inductive definition package. | changeset | files |
| Tue, 30 Jun 1998 20:41:41 +0200 | berghofe | Moved most of the Prod_Syntax - stuff to HOLogic. | changeset | files |
| Tue, 30 Jun 1998 20:40:29 +0200 | berghofe | Added additional theorems needed for inductive definitions. | changeset | files |