changeset 47847 | 7cddb6c8f93c |
parent 47730 | 15f4309bb9eb |
child 56161 | 300f613060b0 |
--- a/src/HOL/Mirabelle/Tools/mirabelle.ML Wed May 02 11:45:00 2012 +0200 +++ b/src/HOL/Mirabelle/Tools/mirabelle.ML Wed May 02 11:47:45 2012 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Mirabelle/Actions/mirabelle.ML +(* Title: HOL/Mirabelle/Tools/mirabelle.ML Author: Jasmin Blanchette and Sascha Boehme, TU Munich *)