src/HOL/Number_Theory/Residues.thy

--- a/src/HOL/Number_Theory/Residues.thy	Sun Mar 13 22:24:10 2011 +0100
+++ b/src/HOL/Number_Theory/Residues.thy	Sun Mar 13 22:55:50 2011 +0100
@@ -1,8 +1,8 @@
-(*  Title:      HOL/Library/Residues.thy
+(*  Title:      HOL/Number_Theory/Residues.thy
     Author:     Jeremy Avigad
 
 An algebraic treatment of residue rings, and resulting proofs of
-Euler's theorem and Wilson's theorem. 
+Euler's theorem and Wilson's theorem.
 *)
 
 header {* Residue rings *}