src/ZF/Induct/Tree_Forest.thy
2001-11-19 ago tuned;
2001-11-15 ago isatool unsymbolize;
2001-11-15 ago fixed;
2001-11-15 ago added Term and Tree_Forest (from converted ZF/ex);