Printer.show_question_marks_default := false; use_thys [ "Basics", "Bool_nat_list", "MyList", "Types_and_funs", "Logic", "Isar" ];