From 3dd5686d35fa866b08da8f796f8d6c514cf47aca Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 21 Nov 2005 13:10:45 +0000 Subject: [PATCH] typo --- helm/ocaml/cic_notation/doc/main.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_notation/doc/main.tex b/helm/ocaml/cic_notation/doc/main.tex index 1fdade8d6..f4eb86c60 100644 --- a/helm/ocaml/cic_notation/doc/main.tex +++ b/helm/ocaml/cic_notation/doc/main.tex @@ -743,7 +743,7 @@ names will be smaller than the whole matched term.\strut} \hrule \GUARDED(\mathtt{default}~P_1~P_2) & = & \GUARDED(P_1) \wedge \GUARDED(P_2) \\ \GUARDED(\mathtt{if}~P_1~\mathtt{then}~P_2~\mathtt{else}~P_3) & = & \GUARDED(P_2) \wedge \GUARDED(P_3) \\ \GUARDED(\mathtt{fail}) & = & \TRUE \\ - \GUARDED(\mathtt{fold}~d~P_1~\mathtt{rec}~x~P_2) & = & \GUARDED(P_2) + \GUARDED(\mathtt{fold}~d~P_1~\mathtt{rec}~x~P_2) & = & \GUARDED(P_1) \end{array} \] \hrule -- 2.39.2