--- a/src/HOL/Matrix_LP/Compute_Oracle/am_ghc.ML Fri Apr 13 13:59:35 2012 +0200
+++ b/src/HOL/Matrix_LP/Compute_Oracle/am_ghc.ML Fri Apr 13 14:00:26 2012 +0200
@@ -1,4 +1,4 @@
-(* Title: HOL/Matrix/Compute_Oracle/am_ghc.ML
+(* Title: HOL/Matrix_LP/Compute_Oracle/am_ghc.ML
Author: Steven Obua
*)