equal
deleted
inserted
replaced
177 <KEYWORD4>lazy</KEYWORD4> |
177 <KEYWORD4>lazy</KEYWORD4> |
178 <OPERATOR>lemma</OPERATOR> |
178 <OPERATOR>lemma</OPERATOR> |
179 <OPERATOR>lemmas</OPERATOR> |
179 <OPERATOR>lemmas</OPERATOR> |
180 <OPERATOR>let</OPERATOR> |
180 <OPERATOR>let</OPERATOR> |
181 <OPERATOR>local</OPERATOR> |
181 <OPERATOR>local</OPERATOR> |
182 <KEYWORD4>local_syntax</KEYWORD4> |
|
183 <OPERATOR>locale</OPERATOR> |
182 <OPERATOR>locale</OPERATOR> |
184 <OPERATOR>method_setup</OPERATOR> |
183 <OPERATOR>method_setup</OPERATOR> |
185 <KEYWORD4>module_name</KEYWORD4> |
184 <KEYWORD4>module_name</KEYWORD4> |
186 <KEYWORD4>monos</KEYWORD4> |
185 <KEYWORD4>monos</KEYWORD4> |
187 <OPERATOR>moreover</OPERATOR> |
186 <OPERATOR>moreover</OPERATOR> |
270 <KEYWORD4>rename</KEYWORD4> |
269 <KEYWORD4>rename</KEYWORD4> |
271 <OPERATOR>rep_datatype</OPERATOR> |
270 <OPERATOR>rep_datatype</OPERATOR> |
272 <KEYWORD4>restrict</KEYWORD4> |
271 <KEYWORD4>restrict</KEYWORD4> |
273 <OPERATOR>sect</OPERATOR> |
272 <OPERATOR>sect</OPERATOR> |
274 <OPERATOR>section</OPERATOR> |
273 <OPERATOR>section</OPERATOR> |
275 <KEYWORD4>sequential</KEYWORD4> |
|
276 <OPERATOR>setup</OPERATOR> |
274 <OPERATOR>setup</OPERATOR> |
277 <KEYWORD2>show</KEYWORD2> |
275 <KEYWORD2>show</KEYWORD2> |
278 <KEYWORD4>shows</KEYWORD4> |
276 <KEYWORD4>shows</KEYWORD4> |
279 <KEYWORD4>signature</KEYWORD4> |
277 <KEYWORD4>signature</KEYWORD4> |
280 <OPERATOR>simproc_setup</OPERATOR> |
278 <OPERATOR>simproc_setup</OPERATOR> |