| 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 |
| Thu, 15 Nov 2001 16:48:05 +0100 | ehmety | Added new entry | changeset | files |
| Thu, 15 Nov 2001 16:46:38 +0100 | ehmety | New files | changeset | files |
| Thu, 15 Nov 2001 16:12:49 +0100 | paulson | new theories from Jacques Fleuriot | changeset | files |
| Thu, 15 Nov 2001 15:07:16 +0100 | ehmety | *** empty log message *** | changeset | files |
| Wed, 14 Nov 2001 23:22:43 +0100 | wenzelm | converted datatype examples moved from ZF/ex to ZF/Induct; | changeset | files |