1
Printer.show_question_marks_default := false;
2
3
use_thys [
4
"Basics",
5
"Bool_nat_list",
6
"MyList",
7
"Types_and_funs",
8
"Logic",
9
"Isar"
10
];