# HG changeset patch
# User wenzelm
# Date 1390407746 -3600
# Node ID c0532866188357baffa3731b70a9ba375f268989
# Parent  fbf24a326206cf27486bc9851577f3b59c38fd73
tuned spelling;

diff -r fbf24a326206 -r c05328661883 src/Doc/ProgProve/LaTeXsugar.thy
--- a/src/Doc/ProgProve/LaTeXsugar.thy	Wed Jan 22 17:22:08 2014 +0100
+++ b/src/Doc/ProgProve/LaTeXsugar.thy	Wed Jan 22 17:22:26 2014 +0100
@@ -1,5 +1,5 @@
 (*  Title:      HOL/Library/LaTeXsugar.thy
-    Author:     Gerwin Klain, Tobias Nipkow, Norbert Schirmer
+    Author:     Gerwin Klein, Tobias Nipkow, Norbert Schirmer
     Copyright   2005 NICTA and TUM
 *)