set quick_and_dirty;+− +− use_thy "Intro";+− use_thy "FirstSteps";+− use_thy "Parsing";+− +− use_thy "Appendix";+− use_thy "Recipes/NamedThms";+− use_thy "Recipes/Transformation";+− +− use_thy "Solutions";+−