--- a/src/HOL/BNF_Def.thy Mon Jan 20 18:24:56 2014 +0100 +++ b/src/HOL/BNF_Def.thy Mon Jan 20 18:24:56 2014 +0100 @@ -1,4 +1,4 @@ -(* Title: HOL/BNF/BNF_Def.thy +(* Title: HOL/BNF_Def.thy Author: Dmitriy Traytel, TU Muenchen Copyright 2012