# HG changeset patch
# User haftmann
# Date 1245163016 -7200
# Node ID cc969090c204e9d5c750687a31326e9a8228b2ba
# Parent  760c612ad800e78c25b5c8b862f226df57a9cac9
dropped ID

diff -r 760c612ad800 -r cc969090c204 src/HOL/Product_Type.thy
--- a/src/HOL/Product_Type.thy	Tue Jun 16 16:26:40 2009 +0200
+++ b/src/HOL/Product_Type.thy	Tue Jun 16 16:36:56 2009 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Product_Type.thy
-    ID:         $Id$
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1992  University of Cambridge
 *)