fixed typo
authorblanchet
Mon Jan 20 18:25:44 2014 +0100 (2014-01-20)
changeset 550774cf280104b85
parent 55076 1e73e090a514
child 55078 558c9ceabaa1
fixed typo
src/HOL/Library/LaTeXsugar.thy
     1.1 --- a/src/HOL/Library/LaTeXsugar.thy	Mon Jan 20 18:24:56 2014 +0100
     1.2 +++ b/src/HOL/Library/LaTeXsugar.thy	Mon Jan 20 18:25:44 2014 +0100
     1.3 @@ -1,5 +1,5 @@
     1.4  (*  Title:      HOL/Library/LaTeXsugar.thy
     1.5 -    Author:     Gerwin Klain, Tobias Nipkow, Norbert Schirmer
     1.6 +    Author:     Gerwin Klein, Tobias Nipkow, Norbert Schirmer
     1.7      Copyright   2005 NICTA and TUM
     1.8  *)
     1.9  
    1.10 @@ -114,4 +114,4 @@
    1.11  *}
    1.12  
    1.13  end
    1.14 -(*>*)
    1.15 \ No newline at end of file
    1.16 +(*>*)