# HG changeset patch
# User haftmann
# Date 1344456879 -7200
# Node ID d75450fe955ab9e56f8c52713dcb905c1b58c924
# Parent  3a6c03b15916fb90e922c4730b9a328cd8533e40
corrected header

diff -r 3a6c03b15916 -r d75450fe955a src/HOL/Mirabelle/Tools/mirabelle_try0.ML
--- a/src/HOL/Mirabelle/Tools/mirabelle_try0.ML	Wed Aug 08 20:35:34 2012 +0200
+++ b/src/HOL/Mirabelle/Tools/mirabelle_try0.ML	Wed Aug 08 22:14:39 2012 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Mirabelle/Actions/mirabelle_try0.ML
+(*  Title:      HOL/Mirabelle/Tools/mirabelle_try0.ML
     Author:     Jasmin Blanchette, TU Munich
 *)