diff --git a/doc/gf-modules.html b/doc/gf-modules.html
index 5d3103d40..155240ea7 100644
--- a/doc/gf-modules.html
+++ b/doc/gf-modules.html
@@ -775,21 +775,21 @@ has not been implemented.)
Syntax:
-abstract A = (A_1,...,A_n **)?
-{J_1 ; ... ; J_m ; }
+abstract A = (A1,...,An **)?
+{J1 ; ... ; Jm ; }
where
- i >= 0
-
- each A_i is itself an abstract module
-
- each J_i is a judgement of one of the forms
+
- each Ai is itself an abstract module
+
- each Ji is a judgement of one of the forms
cat, fun, def, data
Semantic conditions:
-- all names declared in each A_i and A must be distinct
+
- all names declared in each Ai and A must be distinct
Concrete syntax modules
@@ -797,9 +797,9 @@ Semantic conditions:
Syntax:
incomplete? concrete C of A =
-(C_1,...,C_n **)?
-(open O_1,...,O_k in)?
-{J_1 ; ... ; J_m ; }
+(C1,...,Cn **)?
+(open O1,...,Ok in)?
+{J1 ; ... ; Jm ; }
@@ -807,15 +807,15 @@ where
- i >= 0
- A is an abstract module
-
- each C_i is a concrete module
-
- each O_i is an open specification, of one of the forms
+
- each Ci is a concrete module
+
- each Oi is an open specification, of one of the forms
where R is a resource, instance, or concrete, and
Q is any identifier
-
- each J_i is a judgement of one of the forms
+
- each Ji is a judgement of one of the forms
lincat, lin, lindef, printname
@@ -842,23 +842,23 @@ Semantic conditions:
Syntax:
resource R =
-(R_1,...,R_n **)?
-(open O_1,...,O_k in)?
-{J_1 ; ... ; J_m ; }
+(R1,...,Rn **)?
+(open O1,...,Ok in)?
+{J1 ; ... ; Jm ; }
where
- i >= 0
-
- each R_i is a resource module
-
- each O_i is an open specification, of one of the forms
+
- each Ri is a resource module
+
- each Oi is an open specification, of one of the forms
where P is a resource, instance, or concrete, and
Q is any identifier
-
- each J_i is a judgement of one of the forms
+
- each Ji is a judgement of one of the forms
oper, param
@@ -866,7 +866,7 @@ where P is a resource, instance, or concrete, and
Semantic conditions:
-- all names declared in each R_i and R must be distinct
+
- all names declared in each Ri and R must be distinct
- all constants declared must have a definition
@@ -876,23 +876,23 @@ Semantic conditions:
Syntax:
interface R =
-(R_1,...,R_n **)?
-(open O_1,...,O_k in)?
-{J_1 ; ... ; J_m ; }
+(R1,...,Rn **)?
+(open O1,...,Ok in)?
+{J1 ; ... ; Jm ; }
where
- i >= 0
-
- each R_i is an interface module
-
- each O_i is an open specification, of one of the forms
+
- each Ri is an interface module
+
- each Oi is an open specification, of one of the forms
where P is a resource, instance, or concrete, and
Q is any identifier
-
- each J_i is a judgement of one of the forms
+
- each Ji is a judgement of one of the forms
oper, param
@@ -900,7 +900,7 @@ where P is a resource, instance, or concrete, and
Semantic conditions:
-- all names declared in each R_i and R must be distinct
+
- all names declared in each Ri and R must be distinct
@@ -910,24 +910,24 @@ Semantic conditions:
Syntax:
instance R of I =
-(R_1,...,R_n **)?
-(open O_1,...,O_k in)?
-{J_1 ; ... ; J_m ; }
+(R1,...,Rn **)?
+(open O1,...,Ok in)?
+{J1 ; ... ; Jm ; }
where
- i >= 0
- I is an interface module
-
- each R_i is an instance module
-
- each O_i is an open specification, of one of the forms
+
- each Ri is an instance module
+
- each Oi is an open specification, of one of the forms
where P is a resource, instance, or concrete, and
Q is any identifier
-
- each J_i is a judgement of one of the forms
+
- each Ji is a judgement of one of the forms
oper, param
@@ -935,9 +935,9 @@ where P is a resource, instance, or concrete, and
Semantic conditions:
-- all names declared in each R_i, I, and R must be distinct
-
- all constants declared in I must have a definition either in
- I or R
+
- all names declared in each Ri, I, and R must be distinct
+
- all constants declared in I must have a definition either in
+ I or R
@@ -946,11 +946,11 @@ Semantic conditions:
Syntax:
concrete C of A =
-(C_1,...,C_n **)?
+(C1,...,Cn **)?
B
with
-(I_1 =J_1), ...
-, (I_m =J_m) ;
+(I1 =J1), ...
+, (Im =Jm) ;
@@ -958,10 +958,10 @@ where
- i >= 0
- A is an abstract module
-
- each C_i is a concrete module
+
- each Ci is a concrete module
- B is an incomplete concrete syntax of A
-
- each I_i is an interface
-
- each J_i is an instance of I_i
+
- each Ii is an interface
+
- each Ji is an instance of Ii