Lines Matching refs:tr
46 <tr><td>D1</td><td>A content C has an identifier id(C).</td></tr>
47 <tr><td>D2</td><td>A content C is in one of two states, Alive or Deleted.
48 </td></tr>
49 <tr><td>D3</td><td>A folder content F has a set of children H(F) that is a
52 denoted by H(F).</td></tr>
64 <tr><td>E1</td><td>The identifier of a content C changes from id1(C) == A
69 its identity.</td></tr>
70 <tr><td>E2</td><td>The state of a content C changes from Alive to Deleted,
74 server that the message has been deleted.</td></tr>
75 <tr><td>E3</td><td>The set of children of a folder content F is enlarged by
82 mailbox.</td></tr>
92 <tr><td>R1</td><td>E1(C: A->B) results in C sending an EXCHANGED
96 send a REMOVED ContentEvent.</td></tr>
97 <tr><td>R2</td><td>E2(C) results in C sending a DELETED ContentEvent,
101 a REMOVED event.</td></tr>
102 <tr><td>R3</td><td>E3(F, A) results in F sending an INSERTED event.</td></tr>