src/HOLCF/Porder.thy

--- a/src/HOLCF/Porder.thy	Fri Oct 06 16:17:08 1995 +0100
+++ b/src/HOLCF/Porder.thy	Fri Oct 06 17:25:24 1995 +0100
@@ -42,6 +42,9 @@
 
 lub		"lub(S) = (@x. S <<| x)"
 
+(* start 8bit 1 *)
+(* end 8bit 1 *)
+
 end