tuned
authorwenzelm
Sat Jun 09 14:22:08 2001 +0200 (2001-06-09)
changeset 113692c4bb701546a
parent 11368 9c1995c73383
child 11370 680946254afe
tuned
src/HOL/Library/Primes.thy
     1.1 --- a/src/HOL/Library/Primes.thy	Sat Jun 09 14:18:19 2001 +0200
     1.2 +++ b/src/HOL/Library/Primes.thy	Sat Jun 09 14:22:08 2001 +0200
     1.3 @@ -6,7 +6,8 @@
     1.4  
     1.5  header {*
     1.6    \title{The Greatest Common Divisor and Euclid's algorithm}
     1.7 -  \author{Christophe Tabacznyj and Lawrence C Paulson} *}
     1.8 +  \author{Christophe Tabacznyj and Lawrence C Paulson}
     1.9 +*}
    1.10  
    1.11  theory Primes = Main:
    1.12