src/HOL/Isar_examples/Summation.thy
1999-09-04 wenzelm 1999-09-04 replaced ?? by ?;
1999-09-02 wenzelm 1999-09-02 renamed NatSum to Summation;