proper term equality; proper Args.term_pattern parser (like 'is' or 'let' in Isar);
proper term equality;
proper Args.term_pattern parser (like 'is' or 'let' in Isar);

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