?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
snapshot (tar.gz zip)
Simplify Pay event; time is whenever the event happens
treec4d0539e81de392c1a1e6dc1aa6ee509e75020df
-rw-r--r-- 10 .gitignore blob | blame | history | raw
-rw-r--r-- 926 Communication.thy blob | blame | history | raw
-rw-r--r-- 204 ROOT blob | blame | history | raw
-rw-r--r-- 102 RTTP.thy blob | blame | history | raw
drwxr-xr-x - document tree | history
This is intended to be a computer-verifiable (but somewhat human-readable) collection of proofs that RTTP has certain properties.