--- a/src/HOLCF/IOA/meta_theory/TL.ML Fri Apr 07 17:27:53 2006 +0200 +++ b/src/HOLCF/IOA/meta_theory/TL.ML Sat Apr 08 15:24:21 2006 +0200 @@ -1,6 +1,6 @@ (* Title: HOLCF/IOA/meta_theory/TL.ML ID: $Id$ - Author: Olaf Müller + Author: Olaf Mueller *)