--- a/src/HOL/ex/ExecutableContent.thy Fri Mar 30 16:19:01 2007 +0200 +++ b/src/HOL/ex/ExecutableContent.thy Fri Mar 30 16:19:02 2007 +0200 @@ -1,3 +1,4 @@ + (* ID: $Id$ Author: Florian Haftmann, TU Muenchen *)