doc-src/ProgProve/Thys/ROOT.ML

try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09);

Printer.show_question_marks_default := false;

use_thys [
 "Basics",
 "Bool_nat_list",
 "MyList",
 "Types_and_funs",
 "Logic",
 "Isar"
];