src/ZF/Induct/Term.thy
Sat, 29 Dec 2001 18:36:12 +0100 wenzelm tuned document sources;
Thu, 15 Nov 2001 23:21:57 +0100 wenzelm isatool unsymbolize;
Thu, 15 Nov 2001 18:09:40 +0100 wenzelm added Term and Tree_Forest (from converted ZF/ex);
less more (0) tip