+ <Pattern>
+ <Prefix>cic</Prefix>
+ <TokenList>
+ <SLASH/>
+ <CONST>Coq</CONST>
+ <SLASH/>
+ <CONST>Init</CONST>
+ <SLASH/>
+ <CONST>Logic</CONST>
+ <SLASH/>
+ <CONST>Equality</CONST>
+ <SLASH/>
+ <CONST>eq</CONST>
+ </TokenList>
+ <Extension>ind</Extension>
+ </Pattern>