| Thu, 15 Nov 2001 18:15:32 +0100 | wenzelm | avoid handle _; | changeset | files |
| Thu, 15 Nov 2001 18:15:13 +0100 | wenzelm | added TCSET(') tacticals; | changeset | files |
| Thu, 15 Nov 2001 18:09:40 +0100 | wenzelm | added Term and Tree_Forest (from converted ZF/ex); | changeset | files |
| Thu, 15 Nov 2001 18:08:19 +0100 | wenzelm | TF and Term moved to ZF/Induct; | changeset | files |