?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 369564a) | patch
Defined apply_encrypted_message_map
commit0e10ee894605074b5a628e79f00aefbf81aaeaef
authorTim Makarios <tjm1983@gmail.com>
Tue, 3 Feb 2015 04:15:28 +0000 (3 17:15 +1300)
committerTim Makarios <tjm1983@gmail.com>
Tue, 3 Feb 2015 04:15:28 +0000 (3 17:15 +1300)
tree487c219981d65803ced42b2a37c6892a1fee8175tree | snapshot (tar.gz zip)
parent369564a23049196e4a137f84b13330a0f1193a9ccommit | diff
Defined apply_encrypted_message_map
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.