?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 513e687) | patch
Defined indistinguishable
commit7bb1a48f8717748c7e49bbf161d91a0160471fff
authorTim Makarios <tjm1983@gmail.com>
Thu, 19 Feb 2015 03:34:58 +0000 (19 16:34 +1300)
committerTim Makarios <tjm1983@gmail.com>
Thu, 19 Feb 2015 03:34:58 +0000 (19 16:34 +1300)
tree64f343935d2a9f471f30ba091443b4558919d416tree | snapshot (tar.gz zip)
parent513e687bfc8cc61589f6b8c4e8563f3e17a52a9fcommit | diff
Defined indistinguishable
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.