added some lemmas to the collection "abs_fresh"
added some lemmas to the collection "abs_fresh"

the lemmas are of the form

  finite (supp x) ==> (b # [a].x) = (b=a \/ b # x)

previously only lemmas of the form

  (b # [a].x) = (b=a \/ b # x)

with the type-constraint that x is finitely supported
were included.

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