diff -r eb707467f8c5 -r 3428c0a88449 src/Sequents/prover.ML
--- a/src/Sequents/prover.ML	Mon Oct 20 11:25:39 1997 +0200
+++ b/src/Sequents/prover.ML	Mon Oct 20 11:39:29 1997 +0200
@@ -29,7 +29,7 @@
 
 
 (*Returns the list of all formulas in the sequent*)
-fun forms_of_seq (Const("SeqO'",_) $ P $ u) = P :: forms_of_seq u
+fun forms_of_seq (Const("Sequents.SeqO'",_) $ P $ u) = P :: forms_of_seq u
   | forms_of_seq (H $ u) = forms_of_seq u
   | forms_of_seq _ = [];
 
@@ -160,7 +160,7 @@
 in 
 
 (*Returns the list of all formulas in the sequent*)
-fun forms_of_seq (Const("SeqO",_) $ P $ u) = P :: forms_of_seq u
+fun forms_of_seq (Const("Sequents.SeqO",_) $ P $ u) = P :: forms_of_seq u
   | forms_of_seq (H $ u) = forms_of_seq u
   | forms_of_seq _ = [];