src/HOL/Codatatype/BNF_LFP.thy
changeset 49509 163914705f8d
parent 49326 a063a96c8662
--- a/src/HOL/Codatatype/BNF_LFP.thy	Fri Sep 21 15:53:29 2012 +0200
+++ b/src/HOL/Codatatype/BNF_LFP.thy	Fri Sep 21 16:34:40 2012 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Codatatype/BNF_LFP.thy
+(*  Title:      HOL/BNF/BNF_LFP.thy
     Author:     Dmitriy Traytel, TU Muenchen
     Copyright   2012