src/HOL/Hyperreal/MacLaurin.thy
2001-11-16 paulson 2001-11-16 even more theories from Jacques