Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/Benchmarks/HOL-datatype/Brackin.thy
changeset 33695 bec342db1bf4
parent 16417 9bc16273c2d4 
--- 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 |
isabelle