--- 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 + + + + +