equal
deleted
inserted
replaced
58 <KEYWORD4>assumes</KEYWORD4> |
58 <KEYWORD4>assumes</KEYWORD4> |
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 <LABEL>atp_minimize</LABEL> |
63 <KEYWORD4>attach</KEYWORD4> |
64 <KEYWORD4>attach</KEYWORD4> |
64 <OPERATOR>attribute_setup</OPERATOR> |
65 <OPERATOR>attribute_setup</OPERATOR> |
65 <OPERATOR>automaton</OPERATOR> |
66 <OPERATOR>automaton</OPERATOR> |
66 <KEYWORD4>avoids</KEYWORD4> |
67 <KEYWORD4>avoids</KEYWORD4> |
67 <OPERATOR>ax_specification</OPERATOR> |
68 <OPERATOR>ax_specification</OPERATOR> |