--- a/src/ZF/ex/Term.thy Thu May 31 17:57:02 2001 +0200
+++ b/src/ZF/ex/Term.thy Thu May 31 18:28:23 2001 +0200
@@ -7,7 +7,7 @@
Illustrates the list functor (essentially the same type as in Trees & Forests)
*)
-Term = List +
+Term = Main +
consts
term :: i=>i