--- a/src/HOL/Matrix/Compute_Oracle/am_ghc.ML Sun Mar 13 22:24:10 2011 +0100
+++ b/src/HOL/Matrix/Compute_Oracle/am_ghc.ML Sun Mar 13 22:55:50 2011 +0100
@@ -1,4 +1,4 @@
-(* Title: Tools/Compute_Oracle/am_ghc.ML
+(* Title: HOL/Matrix/Compute_Oracle/am_ghc.ML
Author: Steven Obua
*)