src/HOL/Datatype.thy
changeset 29580 117b88da143c
parent 29183 f1648e009dc1
child 29609 a010aab5bed0
     1.1 --- a/src/HOL/Datatype.thy	Wed Jan 21 16:47:04 2009 +0100
     1.2 +++ b/src/HOL/Datatype.thy	Wed Jan 21 16:47:31 2009 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  (*  Title:      HOL/Datatype.thy
     1.5 -    ID:         $Id$
     1.6      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.7      Author:     Stefan Berghofer and Markus Wenzel, TU Muenchen
     1.8