--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/ProgProve/Thys/ROOT.ML Mon Apr 02 10:49:03 2012 +0200
@@ -0,0 +1,10 @@
+Printer.show_question_marks_default := false;
+
+use_thys [
+ "Basics",
+ "Bool_nat_list",
+ "MyList",
+ "Types_and_funs",
+ "Logic",
+ "Isar"
+];