--- a/src/HOLCF/Sprod3.thy Fri Oct 06 16:17:08 1995 +0100
+++ b/src/HOLCF/Sprod3.thy Fri Oct 06 17:25:24 1995 +0100
@@ -33,6 +33,9 @@
ssnd_def "ssnd == (LAM p.Issnd p)"
ssplit_def "ssplit == (LAM f. strictify`(LAM p.f`(sfst`p)`(ssnd`p)))"
+(* start 8bit 1 *)
+(* end 8bit 1 *)
+
end