src/HOLCF/domain/library.ML

--- a/src/HOLCF/domain/library.ML	Wed Nov 30 00:59:04 2005 +0100
+++ b/src/HOLCF/domain/library.ML	Wed Nov 30 01:01:15 2005 +0100
@@ -130,6 +130,7 @@
 val returnN    = "Fixrec.return";
 val failN      = "Fixrec.fail";
 val cpair_patN = "Fixrec.cpair_pat";
+val branchN    = "Fixrec.branch";
 
 val pcpoN      = "Pcpo.pcpo"
 val pcpoS      = [pcpoN];