| Wed, 05 Nov 1997 11:34:44 +0100 | wenzelm | adapted add_trfunsT; | changeset | files |
| Wed, 05 Nov 1997 11:33:45 +0100 | wenzelm | adapted add_trfunsT; | changeset | files |
| Wed, 05 Nov 1997 11:33:05 +0100 | wenzelm | fixed exception OPTION; | changeset | files |
| Wed, 05 Nov 1997 11:19:15 +0100 | wenzelm | base root = ""; | changeset | files |
| Wed, 05 Nov 1997 09:08:35 +0100 | nipkow | Added an alternativ version of AutoChopper and a theory for the conversion of | changeset | files |
| Tue, 04 Nov 1997 20:52:20 +0100 | oheimb | removed redundant ball_image | changeset | files |
| 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 |