src/HOLCF/Porder0.thy

--- a/src/HOLCF/Porder0.thy	Fri Oct 06 16:17:08 1995 +0100
+++ b/src/HOLCF/Porder0.thy	Fri Oct 06 17:25:24 1995 +0100
@@ -39,4 +39,12 @@
 
 inst_void_po	"((op <<)::[void,void]=>bool) = less_void"
 
+(* start 8bit 1 *)
+(* end 8bit 1 *)
+
 end 
+
+
+
+
+