?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
snapshot (tar.gz zip)
Trivial RTTP.thy
treefc54e92fbcd03bed0b41833f6fcc485731031799
-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.