src/HOLCF/IOA/meta_theory/TLS.thy

--- a/src/HOLCF/IOA/meta_theory/TLS.thy	Sat Dec 01 18:51:46 2001 +0100
+++ b/src/HOLCF/IOA/meta_theory/TLS.thy	Sat Dec 01 18:52:32 2001 +0100
@@ -9,7 +9,7 @@
 		       
 TLS = IOA + TL + 
 
-default term
+default type
 
 types