--- a/ProgTutorial/ROOT.ML	Fri Jun 03 15:15:17 2016 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,36 +0,0 @@
-quick_and_dirty := true;
-
-no_document use_thy "Base";
-no_document use_thy "Package/Simple_Inductive_Package";
-no_document use_thy "~~/src/HOL/Number_Theory/Primes"; 
-no_document use_thy "~~/src/HOL/Library/Efficient_Nat";
-
-use_thy "Intro";
-use_thy "First_Steps";
-use_thy "Essential";
-use_thy "Advanced";
-
-no_document use_thy "Helper/Command/Command";
-use_thy "Parsing";
-use_thy "Tactical";
-
-use_thy "Package/Ind_Intro";
-use_thy "Package/Ind_Prelims";
-use_thy "Package/Ind_Interface";
-use_thy "Package/Ind_General_Scheme";
-use_thy "Package/Ind_Code";
-use_thy "Package/Ind_Extensions";
-
-use_thy "Appendix";
-use_thy "Recipes/Antiquotes";
-use_thy "Recipes/TimeLimit";
-use_thy "Recipes/Timing";
-use_thy "Recipes/CallML";
-use_thy "Recipes/ExternalSolver";
-use_thy "Recipes/Oracle";
-use_thy "Recipes/Sat";
-use_thy "Recipes/USTypes";
-
-use_thy "Solutions";
-(*use_thy "Readme";*)
-