src/HOLCF/Cfun1.thy

--- a/src/HOLCF/Cfun1.thy	Fri Oct 06 16:17:08 1995 +0100
+++ b/src/HOLCF/Cfun1.thy	Fri Oct 06 17:25:24 1995 +0100
@@ -47,4 +47,11 @@
   (*defining the abstract constants*)
   less_cfun_def		"less_cfun fo1 fo2 == ( fapp fo1 << fapp fo2 )"
 
+(* start 8bit 1 *)
+(* end 8bit 1 *)
+
+
 end
+
+(* start 8bit 2 *)
+(* end 8bit 2 *)