From bcb62c87c58be2e922d9d7afb0476cbec8323043 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 24 Jan 2006 12:55:30 +0000 Subject: [PATCH] completed French ordinals and thereby French/Romance --- doc/gf-modules.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/gf-modules.html b/doc/gf-modules.html index 155240ea7..52859c2c0 100644 --- a/doc/gf-modules.html +++ b/doc/gf-modules.html @@ -593,7 +593,7 @@ a lock field, cat C ; ===> oper C : Type = T ** {lock_C : {}} ; lincat C = T ; - fun f : C_1 ... C_n -> C ; ===> oper f : A = \x_1,...,x_n -> + fun f : C_1 ... C_n -> C ; ===> oper f : C_1 ... C_n -> C = \x_1,...,x_n -> lin f = t ; t x_1 ... x_n ** {lock_C = <>}; (Notice that the latter translation is type-correct because of