equal
deleted
inserted
replaced
52 
52 
53 translations 
53 translations 
54 "Agent x" == "Atomic (AGENT x)" 
54 "Agent x" == "Atomic (AGENT x)" 
55 "Number x" == "Atomic (NUMBER x)" 
55 "Number x" == "Atomic (NUMBER x)" 
56 "Nonce x" == "Atomic (NONCE x)" 
56 "Nonce x" == "Atomic (NONCE x)" 

57 "Nonce``x" == "Atomic `` (NONCE `` x)" 
57 "Key x" == "Atomic (KEY x)" 
58 "Key x" == "Atomic (KEY x)" 
58 "Key``x" == "Atomic `` (KEY `` x)" 
59 "Key``x" == "Atomic `` (KEY `` x)" 
59 
60 
60 
61 
61 (*Concrete syntax: messages appear as {A,B,NA}, etc...*) 
62 (*Concrete syntax: messages appear as {A,B,NA}, etc...*) 