--- a/src/HOL/ex/Records.thy Sun May 24 15:02:22 2009 +0200
+++ b/src/HOL/ex/Records.thy Sun May 24 15:02:22 2009 +0200
@@ -1,5 +1,4 @@
(* Title: HOL/ex/Records.thy
- ID: $Id$
Author: Wolfgang Naraschewski, Norbert Schirmer and Markus Wenzel,
TU Muenchen
*)