equal
deleted
inserted
replaced
185 <KEYWORD4>module_name</KEYWORD4> |
185 <KEYWORD4>module_name</KEYWORD4> |
186 <KEYWORD4>monos</KEYWORD4> |
186 <KEYWORD4>monos</KEYWORD4> |
187 <OPERATOR>moreover</OPERATOR> |
187 <OPERATOR>moreover</OPERATOR> |
188 <KEYWORD4>morphisms</KEYWORD4> |
188 <KEYWORD4>morphisms</KEYWORD4> |
189 <OPERATOR>next</OPERATOR> |
189 <OPERATOR>next</OPERATOR> |
|
190 <OPERATOR>no_notation</OPERATOR> |
190 <OPERATOR>no_syntax</OPERATOR> |
191 <OPERATOR>no_syntax</OPERATOR> |
191 <OPERATOR>no_translations</OPERATOR> |
192 <OPERATOR>no_translations</OPERATOR> |
192 <OPERATOR>nominal_datatype</OPERATOR> |
193 <OPERATOR>nominal_datatype</OPERATOR> |
193 <OPERATOR>nominal_inductive</OPERATOR> |
194 <OPERATOR>nominal_inductive</OPERATOR> |
194 <OPERATOR>nominal_primrec</OPERATOR> |
195 <OPERATOR>nominal_primrec</OPERATOR> |