1
(* show_question_marks := false; *)
2
3
quick_and_dirty := true;
4
5
6
no_document use_thy "~~/src/HOL/Library/LaTeXsugar";
7
8
use_thy "Slides2"