src/Sequents/ILL.ML

--- a/src/Sequents/ILL.ML	Mon Apr 19 17:53:38 1999 +0200
+++ b/src/Sequents/ILL.ML	Tue Apr 20 14:32:48 1999 +0200
@@ -5,9 +5,6 @@
 
 *)
 
-open ILL;
-
-
 val lazy_cs = empty_pack
  add_safes [tensl, conjr, disjl, promote0,
 	    context2,context3]