# HG changeset patch
# User paulson
# Date 1119000844 -7200
# Node ID d4e2f121e2197721a36e7d4c5e7cc6b0606d383e
# Parent  cad2cf55c851e2793984a8f681c07182b118277a
removed redundant "open" declarations

diff -r cad2cf55c851 -r d4e2f121e219 src/Sequents/ILL/ILL_predlog.ML
--- a/src/Sequents/ILL/ILL_predlog.ML	Thu Jun 16 20:30:37 2005 +0200
+++ b/src/Sequents/ILL/ILL_predlog.ML	Fri Jun 17 11:34:04 2005 +0200
@@ -1,6 +1,3 @@
-
-open ILL_predlog;
-
 
 fun auto1 x = prove_goal thy x
  (fn prems => [best_tac safe_cs 1]) ;
diff -r cad2cf55c851 -r d4e2f121e219 src/Sequents/ILL/washing.ML
--- a/src/Sequents/ILL/washing.ML	Thu Jun 16 20:30:37 2005 +0200
+++ b/src/Sequents/ILL/washing.ML	Fri Jun 17 11:34:04 2005 +0200
@@ -1,6 +1,3 @@
-
-open washing;
-
 (* "activate" definitions for use in proof *)
 
 val changeI = [context1] RL ([change] RLN (2,[cut]));