src/HOL/Tools/Mirabelle/mirabelle.ML

--- a/src/HOL/Tools/Mirabelle/mirabelle.ML	Tue Feb 15 16:42:15 2022 +0000
+++ b/src/HOL/Tools/Mirabelle/mirabelle.ML	Wed Feb 16 14:24:05 2022 +0100
@@ -187,7 +187,7 @@
 
 (* presentation hook *)
 
-val whitelist = ["apply", "by", "proof"];
+val whitelist = ["apply", "by", "proof", "unfolding", "using"];
 
 val _ =
   Build.add_hook (fn qualifier => fn loaded_theories =>