--- a/src/Pure/Tools/find_theorems.ML Wed May 07 10:13:31 2014 +0200
+++ b/src/Pure/Tools/find_theorems.ML Wed May 07 10:24:32 2014 +0200
@@ -483,7 +483,9 @@
then " (" ^ string_of_int returned ^ " displayed)"
else ""));
in
- Pretty.big_list "searched for:" (map (pretty_criterion ctxt) criteria) ::
+ Pretty.block
+ (Pretty.keyword1 "find_theorems" :: Pretty.brk 1 :: Pretty.str "query:" :: Pretty.fbrk ::
+ Pretty.fbreaks (map (pretty_criterion ctxt) criteria)) ::
Pretty.str "" ::
(if null theorems then [Pretty.str "nothing found"]
else