--- a/src/HOLCF/Representable.thy Tue Nov 10 06:22:29 2009 -0800
+++ b/src/HOLCF/Representable.thy Tue Nov 10 06:30:08 2009 -0800
@@ -1,3 +1,7 @@
+(* Title: HOLCF/Representable.thy
+ Author: Brian Huffman
+*)
+
header {* Representable Types *}
theory Representable