| Tue, 04 Nov 1997 20:50:35 +0100 | oheimb | removed redundant ball_empty and bex_empty (see equalities.ML) | changeset | files |
| Tue, 04 Nov 1997 20:49:45 +0100 | oheimb | added several theorems | changeset | files |
| Tue, 04 Nov 1997 20:48:38 +0100 | oheimb | added the, option_map, and case analysis theorems | changeset | files |