removed unused theorems ; added lifting properties for foldr and foldl
removed unused theorems ; added lifting properties for foldr and foldl

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