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
 *)