# HG changeset patch
# User huffman
# Date 1109975106 -3600
# Node ID d364491ba718ed8ba38059f206e3f4aeca0d656e
# Parent  e16da3068ad649222051b7e2790b495eb5d39b01
add header

diff -r e16da3068ad6 -r d364491ba718 src/HOLCF/Discrete.thy
--- a/src/HOLCF/Discrete.thy	Fri Mar 04 23:23:47 2005 +0100
+++ b/src/HOLCF/Discrete.thy	Fri Mar 04 23:25:06 2005 +0100
@@ -6,6 +6,8 @@
 Discrete CPOs.
 *)
 
+header {* Discrete cpo types *}
+
 theory Discrete
 imports Cont Datatype
 begin