Moved symbol.ML to front of file list (due to quote function).
Moved symbol.ML to front of file list (due to quote function).

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