Removed unnecessary primrec equations of hd and last involving arbitrary.
Removed unnecessary primrec equations of hd and last involving arbitrary.

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