TFL/tfl.ML

--- a/TFL/tfl.ML	Sat Sep 17 18:11:24 2005 +0200
+++ b/TFL/tfl.ML	Sat Sep 17 18:11:25 2005 +0200
@@ -45,8 +45,6 @@
 
 val trace = ref false;
 
-open BasisLibrary;
-
 structure R = Rules;
 structure S = USyntax;
 structure U = Utils;