src/HOL/SPARK/Manual/ROOT.ML

some recovery of IsaMakefile targets from f3c10e908f65;

Printer.show_question_marks_default := false;

use_thys
  ["Example_Verification",
   "VC_Principles",
   "Reference",
   "Complex_Types"];