split the document into smaller pieces; made it standalone by copying antiquote_setup.ML into the repository added cover page

set quick_and_dirty;

use_thy "Intro";
use_thy "FirstSteps";

use_thy "NamedThms";