?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
snapshot (tar.gz zip)
Expand title of output pdf
treef8672a81c59190465f0b31fa4e888bb905662cd2
-rw-r--r-- 10 .gitignore blob | blame | history | raw
-rw-r--r-- 204 ROOT blob | blame | history | raw
-rw-r--r-- 84 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.