?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 9e319c0) | patch
Proved list_constructed_from
commitf80f1cfe895ccc9c0c7327150f3550e7243225b1
authorTim Makarios <tjm1983@gmail.com>
Wed, 17 Jun 2015 05:00:14 +0000 (17 17:00 +1200)
committerTim Makarios <tjm1983@gmail.com>
Wed, 17 Jun 2015 05:00:14 +0000 (17 17:00 +1200)
tree7c2938a735948646198b35742bf24b4a9c2759detree | snapshot (tar.gz zip)
parent9e319c026b6dbcdb74d23008077f9fea22d1ef27commit | diff
Proved list_constructed_from
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.