Public Git Hosting - rttp-proofs.git/commit

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

commit	0686e51156d23fbe69959aad0e809b4afa5427c4
author	Tim Makarios <tjm1983@gmail.com>
	Wed, 11 Feb 2015 03:16:26 +0000 (11 16:16 +1300)
committer	Tim Makarios <tjm1983@gmail.com>
	Wed, 11 Feb 2015 03:16:26 +0000 (11 16:16 +1300)
tree	85e6edea7d67baa2e3953d5f3984ce141b1da6c2	tree \| snapshot (tar.gz zip)
parent	cfcfa619724b978deb965a5f99cf57214402bfc6	commit \| diff

Defined events_before to simplify continuously_satisfiable

Communication.thy		diff \| blob \| blame \| history
Protocols.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.