Replaced "hand-made" LaTeX code in Protocol/protocol.tex by generated files in Protocol/document.
Replaced "hand-made" LaTeX code in Protocol/protocol.tex by
generated files in Protocol/document.

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