?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 55d1862) | patch
Defined signatures_for_complete_agreement
commitf69ef698cc58d1a8d4fd05f35d2496b42c22baf5
authorTim Makarios <tjm1983@gmail.com>
Thu, 30 Apr 2015 00:45:34 +0000 (30 12:45 +1200)
committerTim Makarios <tjm1983@gmail.com>
Thu, 30 Apr 2015 00:45:34 +0000 (30 12:45 +1200)
treeabf7674ffbcd77d49e80a001f1e06111fdf9da2dtree | snapshot (tar.gz zip)
parent55d186266810a9bf0636ecda62367418ef5e4536commit | diff
Defined signatures_for_complete_agreement
RTTP.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.