--- a/src/HOL/Decision_Procs/MIR.thy Wed Mar 11 08:45:57 2009 +0100 +++ b/src/HOL/Decision_Procs/MIR.thy Wed Mar 11 10:58:18 2009 +0100 @@ -1,4 +1,4 @@ -(* Title: HOL/Reflection/MIR.thy +(* Title: HOL/Decision_Procs/MIR.thy Author: Amine Chaieb *)