--- a/src/HOL/ex/LocaleTest2.thy Fri Dec 12 14:26:35 2008 +0100
+++ b/src/HOL/ex/LocaleTest2.thy Fri Dec 12 15:02:15 2008 +0100
@@ -1,5 +1,4 @@
(* Title: HOL/ex/LocaleTest2.thy
- ID: $Id$
Author: Clemens Ballarin
Copyright (c) 2007 by Clemens Ballarin