src/HOL/Library/Numeral_Type.thy
changeset 29629 5111ce425e7a
parent 29025 8c8859c0d734
child 29997 f6756c097c2d
child 30240 5b25fee0362c
     1.1 --- a/src/HOL/Library/Numeral_Type.thy	Mon Jan 26 22:14:16 2009 +0100
     1.2 +++ b/src/HOL/Library/Numeral_Type.thy	Mon Jan 26 22:14:17 2009 +0100
     1.3 @@ -1,11 +1,8 @@
     1.4 -(*
     1.5 -  ID:     $Id$
     1.6 -  Author: Brian Huffman
     1.7 -
     1.8 -  Numeral Syntax for Types
     1.9 +(*  Title:      HOL/Library/Numeral_Type.thy
    1.10 +    Author:     Brian Huffman
    1.11  *)
    1.12  
    1.13 -header "Numeral Syntax for Types"
    1.14 +header {* Numeral Syntax for Types *}
    1.15  
    1.16  theory Numeral_Type
    1.17  imports Plain "~~/src/HOL/Presburger"