--- a/src/HOL/HOLCF/Adm.thy Sun Mar 13 22:24:10 2011 +0100 +++ b/src/HOL/HOLCF/Adm.thy Sun Mar 13 22:55:50 2011 +0100 @@ -1,4 +1,4 @@ -(* Title: HOLCF/Adm.thy +(* Title: HOL/HOLCF/Adm.thy Author: Franz Regensburger and Brian Huffman *)