# HG changeset patch
# User huffman
# Date 1257863408 28800
# Node ID e7ba88cdf3a2477c1fa081355d23fefdedef52ff
# Parent  ea9becc59636306a8e45e2dd301a78d6e4ec73f6
add title/author block

diff -r ea9becc59636 -r e7ba88cdf3a2 src/HOLCF/Representable.thy
--- 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