added simproc markup, which also indicates legacy simprocs outside the name space;
added simproc markup, which also indicates legacy simprocs outside the name space;

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