adding an Isar version of the MacLaurin theorem from some students' work in 2005
adding an Isar version of the MacLaurin theorem from some students' work in 2005

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