[some further superficial changes by Janis
jv@informatik.uni-bonn.de**20100917060201
 Ignore-this: 9274262d2ead3f7a8c44ba42cbd78f6a
] hunk ./b18n-combined-cgi.hs 88
+		) +++
+		p << (
+		  "(For a stand-alone version on command line, which is also able to " +++
+                  "show intermediate steps in the transformations, see " +++
+		  hotlink "http://www.kb.ecei.tohoku.ac.jp/~kztk/b18n-combined/" << "here" +++ ". " +++
+		  "For the technique from POPL’09 alone, a "+++
+		  hotlink "http://www-ps.iai.uni-bonn.de/cgi-bin/bff.cgi"
+                    << "separate web interface" +++
+                  " offering more features is also available.)"
hunk ./b18n-combined-cgi.hs 219
+	, ("tail", unlines
+		[ "tail []     = []"
+		, "tail (x:xs) = xs"
+		])
hunk ./b18n-combined-cgi.hs 228
-	, ("initHalf", unlines
-		[ "initHalf []    = []"
-		, "initHalf (a:x) = a:initHalfWork x x"
+	, ("halve", unlines
+		[ "halve []    = []"
+		, "halve (a:x) = a:halveWork x x"
hunk ./b18n-combined-cgi.hs 232
-		, "initHalfWork xs    []      = []"
-		, "initHalfWork xs    [x]     = []"
-		, "initHalfWork (a:x) (b:c:y) = a:initHalfWork x y"
+		, "halveWork xs    []      = []"
+		, "halveWork xs    [x]     = []"
+		, "halveWork (a:x) (b:c:y) = a:halveWork x y"