src/HOL/Tools/Mirabelle/mirabelle.scala
Sat, 15 May 2021 17:38:49 +0200 wenzelm clarified command-line;
Sat, 15 May 2021 12:33:08 +0200 wenzelm clarified signature;
Sat, 15 May 2021 12:25:24 +0200 wenzelm clarified log content;
Fri, 14 May 2021 21:32:11 +0200 wenzelm reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;
less more (0) tip