src/HOL/GroupTheory/Summation.thy
2002-12-12 ballarin 2002-12-12 Fixed error that affected document preperation.
2002-12-11 ballarin 2002-12-11 HOL/GroupTheory/Summation.thy added: summation operator for abelian groups.