author | haftmann |
Wed, 08 Aug 2012 22:14:39 +0200 | |
changeset 48740 | d75450fe955a |
parent 48739 | 3a6c03b15916 |
child 48741 | 98e98181882d |
--- 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 *)