Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned
authorwenzelm
Sat, 09 Jun 2001 14:22:08 +0200
changeset 11369 2c4bb701546a
parent 11368 9c1995c73383
child 11370 680946254afe
tuned
src/HOL/Library/Primes.thy file | annotate | diff | comparison | revisions 
--- 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:
isabelle