1 set quick_and_dirty;

     2 

     3 no_document use_thy "Base";

     4 no_document use_thy "Package/Simple_Inductive_Package";

     5 

     6 use_thy "Intro";

     7 use_thy "FirstSteps";

     8 use_thy "Parsing";

     9 use_thy "Tactical";

    10 

    11 use_thy "Package/Ind_Intro";

    12 use_thy "Package/Ind_Prelims";

    13 use_thy "Package/Ind_Interface";

    14 use_thy "Package/Ind_General_Scheme";

    15 use_thy "Package/Ind_Code";

    16 

    17 use_thy "Appendix";

    18 use_thy "Recipes/Antiquotes";

    19 use_thy "Recipes/TimeLimit";

    20 use_thy "Recipes/Timing";

    21 use_thy "Recipes/Config";

    22 use_thy "Recipes/StoringData";

    23 use_thy "Recipes/ExternalSolver";

    24 use_thy "Recipes/Oracle";

    25 use_thy "Recipes/Sat";

    26 use_thy "Recipes/USTypes";

    27 

    28 use_thy "Solutions";

    29 use_thy "Readme";

    30