1 set quick_and_dirty;

     1 set quick_and_dirty;

     2 

     2 

     3 use_thy "Intro";

     3 use_thy "Intro";

     4 use_thy "FirstSteps";

     4 use_thy "FirstSteps";

     6 use_thy "NamedThms";

     6 use_thy "NamedThms";