--- a/src/HOL/Mirabelle.thy Sat May 15 17:38:49 2021 +0200
+++ b/src/HOL/Mirabelle.thy Sat May 15 17:40:36 2021 +0200
@@ -1,5 +1,6 @@
(* Title: HOL/Mirabelle.thy
Author: Jasmin Blanchette and Sascha Boehme, TU Munich
+ Author: Makarius
*)
theory Mirabelle
@@ -12,8 +13,8 @@
ML_file \<open>Tools/Mirabelle/mirabelle_quickcheck.ML\<close>
(*
ML_file \<open>Tools/Mirabelle/mirabelle_sledgehammer.ML\<close>
+*)
ML_file \<open>Tools/Mirabelle/mirabelle_sledgehammer_filter.ML\<close>
-*)
ML_file \<open>Tools/Mirabelle/mirabelle_try0.ML\<close>
end