SourceForge has been redesigned. Learn more.
Close

Diff of /thys/Matrix/Matrix.thy [096842] .. [7cfccc]  Maximize  Restore

Switch to side-by-side view

--- a/thys/Matrix/Matrix.thy
+++ b/thys/Matrix/Matrix.thy
@@ -1,6 +1,6 @@
 (*  Title:       Executable Matrix Operations on Matrices of Arbitrary Dimensions
     Author:      Christian Sternagel <christian.sternagel@uibk.ac.at>
-                 RenĂ\<copyright> Thiemann       <rene.thiemann@uibk.ac.at>
+                 Rene Thiemann       <rene.thiemann@uibk.ac.at>
     Maintainer:  Christian Sternagel and RenĂ\<copyright> Thiemann
 *)