Public Git Hosting - rttp-proofs.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 0f3b8c4) | patch

commit	f83f758addcfeaeabe177ae4aa0431cca0db6dd2
author	Tim Makarios <tjm1983@gmail.com>
	Tue, 3 Mar 2015 03:50:08 +0000 (3 16:50 +1300)
committer	Tim Makarios <tjm1983@gmail.com>
	Tue, 3 Mar 2015 03:50:08 +0000 (3 16:50 +1300)
tree	94f9d6d6a12fb8bcc60bfe1b7d5041d51849bce2	tree \| snapshot (tar.gz zip)
parent	0f3b8c4eb3796d65f32b6e8518c6c54c11e4540d	commit \| diff

Defined messages_received_before

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.