Public Git Hosting - rttp-proofs.git/commit

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

commit	9cdc453a74adbebcc62b14b2cf995aa26d44f88f
author	Tim Makarios <tjm1983@gmail.com>
	Thu, 22 Jan 2015 03:41:31 +0000 (22 16:41 +1300)
committer	Tim Makarios <tjm1983@gmail.com>
	Thu, 22 Jan 2015 03:41:31 +0000 (22 16:41 +1300)
tree	190e7cea6201a797c81eea6952232bf46506fb57	tree \| snapshot (tar.gz zip)
parent	b7f83c17760cd5f7d0ad3e4db2f24abd3bbb3297	commit \| diff

Definition of affected_agent

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.