--- a/src/HOL/Isar_examples/Summation.thy Mon Jun 22 22:51:08 2009 +0200 +++ b/src/HOL/Isar_examples/Summation.thy Mon Jun 22 23:48:24 2009 +0200 @@ -1,5 +1,4 @@ (* Title: HOL/Isar_examples/Summation.thy - ID: $Id$ Author: Markus Wenzel *)