diff -r 28ddebb43d93 -r 6dc5968b9a86 src/Pure/Isar/attrib.ML
--- a/src/Pure/Isar/attrib.ML	Mon Sep 05 21:13:29 2022 +0200
+++ b/src/Pure/Isar/attrib.ML	Mon Sep 05 21:18:40 2022 +0200
@@ -601,8 +601,6 @@
   register_config_bool Thm.show_consts #>
   register_config_bool Thm.show_hyps #>
   register_config_bool Thm.show_tags #>
-  register_config_bool Proof_Display.show_goal_inst #>
-  register_config_bool Proof_Display.show_results #>
   register_config_bool Pattern.unify_trace_failure #>
   register_config_int Unify.trace_bound #>
   register_config_int Unify.search_bound #>