changeset 76183 | 8089593a364a |
parent 75003 | f21e7e6172a0 |
child 80306 | c2537860ccf8 |
--- a/src/HOL/Tools/Mirabelle/mirabelle_metis.ML Sat Sep 17 16:16:38 2022 +0200 +++ b/src/HOL/Tools/Mirabelle/mirabelle_metis.ML Sat Sep 17 16:50:39 2022 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Mirabelle/Tools/mirabelle_metis.ML +(* Title: HOL/Tools/Mirabelle/mirabelle_metis.ML Author: Jasmin Blanchette, TU Munich Author: Sascha Boehme, TU Munich Author: Martin Desharnais, UniBw Munich