src/Pure/Tools/find_theorems.ML

--- a/src/Pure/Tools/find_theorems.ML	Fri Aug 02 16:00:14 2013 +0200
+++ b/src/Pure/Tools/find_theorems.ML	Fri Aug 02 16:02:06 2013 +0200
@@ -636,4 +636,16 @@
 
 end;
 
+
+
+(** print function **)
+
+val _ = Command.print_function "find_theorems"
+  (fn {args, ...} =>
+    if null args then NONE
+    else
+      SOME {delay = NONE, pri = 0, persistent = false,
+        print_fn = fn _ => fn st =>
+          writeln (cat_lines ("find_theorems" :: args))});
+
 end;