equal
deleted
inserted
replaced
54 <KEYWORD2>assume</KEYWORD2> |
54 <KEYWORD2>assume</KEYWORD2> |
55 <KEYWORD4>assumes</KEYWORD4> |
55 <KEYWORD4>assumes</KEYWORD4> |
56 <OPERATOR>atom_decl</OPERATOR> |
56 <OPERATOR>atom_decl</OPERATOR> |
57 <LABEL>atp_info</LABEL> |
57 <LABEL>atp_info</LABEL> |
58 <LABEL>atp_kill</LABEL> |
58 <LABEL>atp_kill</LABEL> |
59 <OPERATOR>atp_setup</OPERATOR> |
|
60 <KEYWORD4>attach</KEYWORD4> |
59 <KEYWORD4>attach</KEYWORD4> |
61 <OPERATOR>automaton</OPERATOR> |
60 <OPERATOR>automaton</OPERATOR> |
62 <KEYWORD4>avoids</KEYWORD4> |
61 <KEYWORD4>avoids</KEYWORD4> |
63 <OPERATOR>ax_specification</OPERATOR> |
62 <OPERATOR>ax_specification</OPERATOR> |
64 <OPERATOR>axclass</OPERATOR> |
63 <OPERATOR>axclass</OPERATOR> |
193 <OPERATOR>no_notation</OPERATOR> |
192 <OPERATOR>no_notation</OPERATOR> |
194 <OPERATOR>no_syntax</OPERATOR> |
193 <OPERATOR>no_syntax</OPERATOR> |
195 <OPERATOR>no_translations</OPERATOR> |
194 <OPERATOR>no_translations</OPERATOR> |
196 <OPERATOR>nominal_datatype</OPERATOR> |
195 <OPERATOR>nominal_datatype</OPERATOR> |
197 <OPERATOR>nominal_inductive</OPERATOR> |
196 <OPERATOR>nominal_inductive</OPERATOR> |
|
197 <OPERATOR>nominal_inductive2</OPERATOR> |
198 <OPERATOR>nominal_primrec</OPERATOR> |
198 <OPERATOR>nominal_primrec</OPERATOR> |
199 <OPERATOR>nonterminals</OPERATOR> |
199 <OPERATOR>nonterminals</OPERATOR> |
200 <LABEL>normal_form</LABEL> |
200 <LABEL>normal_form</LABEL> |
201 <OPERATOR>notation</OPERATOR> |
201 <OPERATOR>notation</OPERATOR> |
202 <OPERATOR>note</OPERATOR> |
202 <OPERATOR>note</OPERATOR> |