diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-01-24 12:55:30 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-01-24 12:55:30 +0000 |
| commit | bcb62c87c58be2e922d9d7afb0476cbec8323043 (patch) | |
| tree | aa4b5e90127d871fba5b92cd2447624623979478 | |
| parent | 5a84f996b04286511e4b7b2ec2c233bcbffc4bf0 (diff) | |
completed French ordinals and thereby French/Romance
| -rw-r--r-- | doc/gf-modules.html | 2 |
1 files changed, 1 insertions, 1 deletions
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 <b>lock field</b>, 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 = <>}; </pre> (Notice that the latter translation is type-correct because of |