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

  Switch to side-by-side view

--- a/thys/Matrix/MatrixCarrier.thy
+++ b/thys/Matrix/MatrixCarrier.thy
@@ -5,7 +5,7 @@
 *)
 
 (*
-Copyright 2010 Christian Sternagel, RenĂŠ Thiemann
+Copyright 2010 Christian Sternagel, Rene Thiemann
 
 This file is part of IsaFoR/CeTA.
 
@@ -24,7 +24,7 @@
 
 header {* Matrix Carrier *}
 
-theory MatrixCarrier imports Matrix Rational
+theory MatrixCarrier imports Matrix Rat
 begin
 
 text {*

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks