?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 0e10ee8) | patch
Defined apply_encrypted_message_map_event
commit1fab935e721eb48dc43a8054547dc2b1f6826c51
authorTim Makarios <tjm1983@gmail.com>
Tue, 3 Feb 2015 23:49:29 +0000 (4 12:49 +1300)
committerTim Makarios <tjm1983@gmail.com>
Tue, 3 Feb 2015 23:49:29 +0000 (4 12:49 +1300)
tree01a85d49c4541855d657024186faa1037de335d9tree | snapshot (tar.gz zip)
parent0e10ee894605074b5a628e79f00aefbf81aaeaefcommit | diff
Defined apply_encrypted_message_map_event
Communication.thy diff | blob | blame | history
This is intended to be a computer-verifiable (but somewhat human-readable) collection of proofs that RTTP has certain properties.