?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 3e89855) | patch
Proved that a Number is constructed_from only itself
commitaa626bd7087099752b73b437edead14182d55a32
authorTim Makarios <tjm1983@gmail.com>
Fri, 8 May 2015 00:48:35 +0000 (8 12:48 +1200)
committerTim Makarios <tjm1983@gmail.com>
Fri, 8 May 2015 00:48:35 +0000 (8 12:48 +1200)
tree798641452971898411a445ec8eb32123f09c9e48tree | snapshot (tar.gz zip)
parent3e898551f43963e93654a07ed0e12144999cdf97commit | diff
Proved that a Number is constructed_from only itself
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.