--- a/src/CTT/Bool.thy Sun Mar 13 22:24:10 2011 +0100
+++ b/src/CTT/Bool.thy Sun Mar 13 22:55:50 2011 +0100
@@ -1,4 +1,4 @@
-(* Title: CTT/bool
+(* Title: CTT/Bool.thy
Author: Lawrence C Paulson, Cambridge University Computer Laboratory
Copyright 1991 University of Cambridge
*)