src/Pure/ProofGeneral/preferences.ML

 val proof_preferences =
  [Unsynchronized.setmp quick_and_dirty true (fn () =>
     bool_pref quick_and_dirty
       "quick-and-dirty"
       "Take a few short cuts") (),
-  bool_pref Toplevel.skip_proofs
+  bool_pref Goal.skip_proofs
     "skip-proofs"
     "Skip over proofs",
   proof_pref,
   nat_pref Multithreading.max_threads
     "max-threads"