added triv_goal, rev_triv_goal (for Isar);
added triv_goal, rev_triv_goal (for Isar);

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