# HG changeset patch
# User wenzelm
# Date 1335952065 -7200
# Node ID 7cddb6c8f93c57501e06669b88073c56b0596b78
# Parent  bbc3e7bccc611bece154e8dea002b7a97a0fd00a
updated headers;

diff -r bbc3e7bccc61 -r 7cddb6c8f93c src/HOL/Mirabelle/Tools/mirabelle.ML
--- 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
 *)
 
diff -r bbc3e7bccc61 -r 7cddb6c8f93c src/HOL/Mirabelle/Tools/mirabelle_arith.ML
--- 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
 *)
 
diff -r bbc3e7bccc61 -r 7cddb6c8f93c src/HOL/Mirabelle/Tools/mirabelle_metis.ML
--- 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
 *)
 
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
 *)
 
diff -r bbc3e7bccc61 -r 7cddb6c8f93c src/HOL/Mirabelle/Tools/mirabelle_refute.ML
--- 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
 *)
 
diff -r bbc3e7bccc61 -r 7cddb6c8f93c src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML
--- 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
 *)
 
diff -r bbc3e7bccc61 -r 7cddb6c8f93c src/HOL/Mirabelle/Tools/mirabelle_sledgehammer_filter.ML
--- 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
 *)