| 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 |
| Thu, 15 Nov 2001 17:59:56 +0100 | paulson | miniscoping of UN and INT | changeset | files |