markup commands (from isar_thy.ML) with proper check of antiquotations;
markup commands (from isar_thy.ML) with proper check of antiquotations;

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