src/HOL/ex/Adder.thy

--- a/src/HOL/ex/Adder.thy	Wed Sep 14 22:04:38 2005 +0200
+++ b/src/HOL/ex/Adder.thy	Wed Sep 14 22:08:08 2005 +0200
@@ -1,11 +1,9 @@
 (*  Title:      HOL/ex/Adder.thy
     ID:         $Id$
     Author:     Sergey Tverdyshev (Universitaet des Saarlandes)
-
-Implementation of carry chain incrementor and adder.
 *)
 
-header{* Adder *}
+header {* Implementation of carry chain incrementor and adder *}
 
 theory Adder imports Main Word begin