--- a/src/HOL/Record.thy Thu Sep 10 15:18:43 2009 +1000
+++ b/src/HOL/Record.thy Thu Sep 10 16:38:18 2009 +1000
@@ -1,5 +1,4 @@
(* Title: HOL/Record.thy
- ID: $Id: Record.thy,v 1.33 2007/12/19 15:32:12 schirmer Exp $
Author: Wolfgang Naraschewski, Norbert Schirmer and Markus Wenzel, TU Muenchen
*)