changeset 48740 | d75450fe955a |
parent 47942 | 49b05b9ead33 |
child 62519 | a564458f94db |
--- a/src/HOL/Mirabelle/Tools/mirabelle_try0.ML Wed Aug 08 20:35:34 2012 +0200 +++ b/src/HOL/Mirabelle/Tools/mirabelle_try0.ML Wed Aug 08 22:14:39 2012 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Mirabelle/Actions/mirabelle_try0.ML +(* Title: HOL/Mirabelle/Tools/mirabelle_try0.ML Author: Jasmin Blanchette, TU Munich *)