--- a/src/HOL/Mirabelle/Mirabelle_Test.thy Sat Apr 14 23:34:18 2012 +0200
+++ b/src/HOL/Mirabelle/Mirabelle_Test.thy Sat Apr 14 23:52:17 2012 +0100
@@ -7,12 +7,12 @@
theory Mirabelle_Test
imports Main Mirabelle
uses
- "Tools/mirabelle_arith.ML"
- "Tools/mirabelle_metis.ML"
- "Tools/mirabelle_quickcheck.ML"
- "Tools/mirabelle_refute.ML"
- "Tools/mirabelle_sledgehammer.ML"
- "Tools/mirabelle_sledgehammer_filter.ML"
+ "Actions/mirabelle_arith.ML"
+ "Actions/mirabelle_metis.ML"
+ "Actions/mirabelle_quickcheck.ML"
+ "Actions/mirabelle_refute.ML"
+ "Actions/mirabelle_sledgehammer.ML"
+ "Actions/mirabelle_sledgehammer_filter.ML"
begin
text {*