?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 5a5339b) | patch
Proved that an ActorName is constructed_from only itself
commit3e898551f43963e93654a07ed0e12144999cdf97
authorTim Makarios <tjm1983@gmail.com>
Fri, 8 May 2015 00:46:45 +0000 (8 12:46 +1200)
committerTim Makarios <tjm1983@gmail.com>
Fri, 8 May 2015 00:46:45 +0000 (8 12:46 +1200)
treeaaf0786349f90fc2ea22976e2e9f583b1791b4cftree | snapshot (tar.gz zip)
parent5a5339bce2ec518bbf3d364885c7fc5ba5524d63commit | diff
Proved that an ActorName is constructed_from only itself
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.