?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: aa626bd) | patch
Named constructed_from cases
commitf0d5e487d19583d69e0b17cc133a900f48fcf844
authorTim Makarios <tjm1983@gmail.com>
Fri, 8 May 2015 04:50:23 +0000 (8 16:50 +1200)
committerTim Makarios <tjm1983@gmail.com>
Fri, 8 May 2015 04:50:23 +0000 (8 16:50 +1200)
treee1375fa0c30627de83191004756afd65cccf2c42tree | snapshot (tar.gz zip)
parentaa626bd7087099752b73b437edead14182d55a32commit | diff
Named constructed_from cases
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.