--- a/src/HOL/Mirabelle/Tools/mirabelle.ML Wed May 02 11:45:00 2012 +0200
+++ b/src/HOL/Mirabelle/Tools/mirabelle.ML Wed May 02 11:47:45 2012 +0200
@@ -1,4 +1,4 @@
-(* Title: HOL/Mirabelle/Actions/mirabelle.ML
+(* Title: HOL/Mirabelle/Tools/mirabelle.ML
Author: Jasmin Blanchette and Sascha Boehme, TU Munich
*)
--- a/src/HOL/Mirabelle/Tools/mirabelle_arith.ML Wed May 02 11:45:00 2012 +0200
+++ b/src/HOL/Mirabelle/Tools/mirabelle_arith.ML Wed May 02 11:47:45 2012 +0200
@@ -1,4 +1,4 @@
-(* Title: HOL/Mirabelle/Actions/mirabelle_arith.ML
+(* Title: HOL/Mirabelle/Tools/mirabelle_arith.ML
Author: Jasmin Blanchette and Sascha Boehme, TU Munich
*)
--- a/src/HOL/Mirabelle/Tools/mirabelle_metis.ML Wed May 02 11:45:00 2012 +0200
+++ b/src/HOL/Mirabelle/Tools/mirabelle_metis.ML Wed May 02 11:47:45 2012 +0200
@@ -1,4 +1,4 @@
-(* Title: HOL/Mirabelle/Actions/mirabelle_metis.ML
+(* Title: HOL/Mirabelle/Tools/mirabelle_metis.ML
Author: Jasmin Blanchette and Sascha Boehme, TU Munich
*)
--- 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
*)
--- a/src/HOL/Mirabelle/Tools/mirabelle_refute.ML Wed May 02 11:45:00 2012 +0200
+++ b/src/HOL/Mirabelle/Tools/mirabelle_refute.ML Wed May 02 11:47:45 2012 +0200
@@ -1,4 +1,4 @@
-(* Title: HOL/Mirabelle/Actions/mirabelle_refute.ML
+(* Title: HOL/Mirabelle/Tools/mirabelle_refute.ML
Author: Jasmin Blanchette and Sascha Boehme, TU Munich
*)
--- a/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML Wed May 02 11:45:00 2012 +0200
+++ b/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML Wed May 02 11:47:45 2012 +0200
@@ -1,4 +1,4 @@
-(* Title: HOL/Mirabelle/Actions/mirabelle_sledgehammer.ML
+(* Title: HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML
Author: Jasmin Blanchette and Sascha Boehme and Tobias Nipkow, TU Munich
*)
--- a/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer_filter.ML Wed May 02 11:45:00 2012 +0200
+++ b/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer_filter.ML Wed May 02 11:47:45 2012 +0200
@@ -1,4 +1,4 @@
-(* Title: HOL/Mirabelle/Actions/mirabelle_sledgehammer_filter.ML
+(* Title: HOL/Mirabelle/Tools/mirabelle_sledgehammer_filter.ML
Author: Jasmin Blanchette, TU Munich
*)