diff -r bbc3e7bccc61 -r 7cddb6c8f93c src/HOL/Mirabelle/Tools/mirabelle_quickcheck.ML
--- a/src/HOL/Mirabelle/Tools/mirabelle_quickcheck.ML	Wed May 02 11:45:00 2012 +0200
+++ b/src/HOL/Mirabelle/Tools/mirabelle_quickcheck.ML	Wed May 02 11:47:45 2012 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Mirabelle/Actions/mirabelle_quickcheck.ML
+(*  Title:      HOL/Mirabelle/Tools/mirabelle_quickcheck.ML
     Author:     Jasmin Blanchette and Sascha Boehme, TU Munich
 *)