added DOCTYPE and Content-Type declarations to make this a valid HTML file
added DOCTYPE and Content-Type declarations to make this a valid HTML file

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle