Copy Myhill.thy into Myhill_2.thyand put Myhill_2.thy into logic ListP. Myhill.thy is now almost empty ready to be extended by new manuscripts.

(*show_question_marks := false;*)

no_document use_thy "LaTeXsugar";
quick_and_dirty := true;
use_thy "Slides"