src/ZF/ex/TF.ML

--- a/src/ZF/ex/TF.ML	Mon Jan 25 20:35:19 1999 +0100
+++ b/src/ZF/ex/TF.ML	Wed Jan 27 10:31:31 1999 +0100
@@ -7,6 +7,7 @@
 *)
 
 Addsimps tree_forest.intrs;
+AddTCs   tree_forest.intrs;
 
 (** tree_forest(A) as the union of tree(A) and forest(A) **)