diff -r f06fe9c2152d -r bec342db1bf4 Admin/Benchmarks/HOL-datatype/Brackin.thy
--- a/Admin/Benchmarks/HOL-datatype/Brackin.thy	Sun Nov 15 13:06:42 2009 +0100
+++ b/Admin/Benchmarks/HOL-datatype/Brackin.thy	Sun Nov 15 15:13:31 2009 +0100
@@ -1,13 +1,10 @@
 (*  Title:      Admin/Benchmarks/HOL-datatype/Brackin.thy
-    ID:         $Id$
+
+A couple from Steve Brackin's work.
 *)
 
 theory Brackin imports Main begin
 
-(* ------------------------------------------------------------------------- *)
-(* A couple from Steve Brackin's work.                                       *)
-(* ------------------------------------------------------------------------- *)
-
 datatype   T = X1 | X2 | X3 | X4 | X5 | X6 | X7 | X8 | X9 | X10 | X11 |
                 X12 | X13 | X14 | X15 | X16 | X17 | X18 | X19 | X20 | X21 |
                 X22 | X23 | X24 | X25 | X26 | X27 | X28 | X29 | X30 | X31 |