src/HOL/Isar_examples/Summation.thy
1999-10-30 wenzelm 1999-10-30 improved presentation;
1999-10-28 wenzelm 1999-10-28 improved presentation;
1999-10-14 wenzelm 1999-10-14 improved presentation;
1999-10-08 wenzelm 1999-10-08 improved presentation;
1999-10-06 wenzelm 1999-10-06 improved presentation;
1999-10-06 wenzelm 1999-10-06 improved presentation;
1999-09-04 wenzelm 1999-09-04 replaced ?? by ?;
1999-09-02 wenzelm 1999-09-02 renamed NatSum to Summation;