dropped ID
authorhaftmann
Tue Jun 16 16:36:56 2009 +0200 (2009-06-16)
changeset 31667cc969090c204
parent 31666 760c612ad800
child 31668 a616e56a5ec8
dropped ID
src/HOL/Product_Type.thy
     1.1 --- a/src/HOL/Product_Type.thy	Tue Jun 16 16:26:40 2009 +0200
     1.2 +++ b/src/HOL/Product_Type.thy	Tue Jun 16 16:36:56 2009 +0200
     1.3 @@ -1,5 +1,4 @@
     1.4  (*  Title:      HOL/Product_Type.thy
     1.5 -    ID:         $Id$
     1.6      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.7      Copyright   1992  University of Cambridge
     1.8  *)