added ex/Groebner_Examples.thy; renamed ex/Eval_Examples.thy;
added ex/Groebner_Examples.thy;
renamed ex/Eval_Examples.thy;

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