equal
deleted
inserted
replaced
59 <OPERATOR>atom_decl</OPERATOR> |
59 <OPERATOR>atom_decl</OPERATOR> |
60 <LABEL>atp_info</LABEL> |
60 <LABEL>atp_info</LABEL> |
61 <LABEL>atp_kill</LABEL> |
61 <LABEL>atp_kill</LABEL> |
62 <LABEL>atp_messages</LABEL> |
62 <LABEL>atp_messages</LABEL> |
63 <KEYWORD4>attach</KEYWORD4> |
63 <KEYWORD4>attach</KEYWORD4> |
|
64 <OPERATOR>attribute_setup</OPERATOR> |
64 <OPERATOR>automaton</OPERATOR> |
65 <OPERATOR>automaton</OPERATOR> |
65 <KEYWORD4>avoids</KEYWORD4> |
66 <KEYWORD4>avoids</KEYWORD4> |
66 <OPERATOR>ax_specification</OPERATOR> |
67 <OPERATOR>ax_specification</OPERATOR> |
67 <OPERATOR>axclass</OPERATOR> |
68 <OPERATOR>axclass</OPERATOR> |
68 <OPERATOR>axiomatization</OPERATOR> |
69 <OPERATOR>axiomatization</OPERATOR> |