Enclosed end_theory in text antiquotation to make LaTeX happy.
Enclosed end_theory in text antiquotation to make LaTeX happy.

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