| Wed, 05 Nov 1997 11:45:51 +0100 | wenzelm | fixed exception OPTION; | changeset | files |
| Wed, 05 Nov 1997 11:43:37 +0100 | wenzelm | adapted pure_trfunsT; | changeset | files |
| Wed, 05 Nov 1997 11:42:19 +0100 | wenzelm | print translation: added show_sorts argument; | changeset | files |
| Wed, 05 Nov 1997 11:41:46 +0100 | wenzelm | adapted syn_ext_trfunsT; | changeset | files |
| Wed, 05 Nov 1997 11:41:18 +0100 | wenzelm | adapted extend_trfunsT; | changeset | files |
| Wed, 05 Nov 1997 11:40:51 +0100 | wenzelm | fixed exception OPTION; | changeset | files |
| Wed, 05 Nov 1997 11:40:23 +0100 | wenzelm | added TYPE syntax; | changeset | files |
| Wed, 05 Nov 1997 11:35:07 +0100 | wenzelm | fixed exception OPTION; | changeset | files |
| 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 |