?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: a63128d) | patch
Corrected a typo in the definition of indistinguishable
commit78b8b213b3237834b93f24be0b3d249642048565
authorTim Makarios <tjm1983@gmail.com>
Fri, 20 Feb 2015 03:06:45 +0000 (20 16:06 +1300)
committerTim Makarios <tjm1983@gmail.com>
Fri, 20 Feb 2015 03:06:45 +0000 (20 16:06 +1300)
tree46ce2cccb3f0bc8e3c59c41e5d19afe755233e68tree | snapshot (tar.gz zip)
parenta63128dd19cfd764569841540737c11fb6f3ff8fcommit | diff
Corrected a typo in the definition of 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.