The Maple sessions available there are to show possible applications of the package. Note that some of them have been produced with an old version of the package, some other with a development version of the package which is not distributed yet.
An introduction to the Mgfun package is available as a html, a dvi and a ps file. This introduction is an application to computation of integrals and sums of the Legendre polynomials and related generating functions. (Mgfun1.4)
A list of identities that have been proved using Mgfun is available as a dvi and a ps file. The main part of these identities have been rediscovered with the computer, whereas a few have only been verified.