# HG changeset patch
# User wenzelm
# Date 992089328 -7200
# Node ID 2c4bb701546a29b2abce62a876358b41a97519d4
# Parent  9c1995c733831ad6eafe5ffd5fdbf223e182c67f
tuned

diff -r 9c1995c73383 -r 2c4bb701546a src/HOL/Library/Primes.thy
--- a/src/HOL/Library/Primes.thy	Sat Jun 09 14:18:19 2001 +0200
+++ b/src/HOL/Library/Primes.thy	Sat Jun 09 14:22:08 2001 +0200
@@ -6,7 +6,8 @@
 
 header {*
   \title{The Greatest Common Divisor and Euclid's algorithm}
-  \author{Christophe Tabacznyj and Lawrence C Paulson} *}
+  \author{Christophe Tabacznyj and Lawrence C Paulson}
+*}
 
 theory Primes = Main: