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 |