--- a/src/HOL/Datatype_Examples/Milner_Tofte.thy	Tue Jan 12 11:03:40 2016 +1100
+++ b/src/HOL/Datatype_Examples/Milner_Tofte.thy	Tue Jan 12 09:28:08 2016 +0100
@@ -2,7 +2,7 @@
     Author:     Dmitriy Traytel, ETH Zürich
     Copyright   2015
 
-Modernized version of HOL/ex/MT.thy by Jacob Frost
+Modernized version of an old development by Jacob Frost
 
 Based upon the article
     Robin Milner and Mads Tofte,