src/Pure/proof_general.ML

--- a/src/Pure/proof_general.ML	Tue Jul 02 17:00:05 2002 +0200
+++ b/src/Pure/proof_general.ML	Tue Jul 02 17:44:13 2002 +0200
@@ -220,7 +220,7 @@
 (* misc commands for ProofGeneral/isa *)
 
 fun thms_containing ss =
-  ProofContext.print_thms_containing (ProofContext.init (the_context ())) ss;
+  ProofContext.print_thms_containing (ProofContext.init (the_context ())) None ss;
 
 val welcome = priority o Session.welcome;
 val help = welcome;