| commit | 90ecdd920b4629c360a1d13edf77ab8c15cae6e6 | |
| author | Tim Makarios <tjm1983@gmail.com> | |
| Wed, 17 Jun 2015 00:25:24 +0000 (17 12:25 +1200) | ||
| committer | Tim Makarios <tjm1983@gmail.com> | |
| Wed, 17 Jun 2015 00:25:24 +0000 (17 12:25 +1200) | ||
| tree | 55523ea95387197703e6f3f7a7f18bf58b863a01 | treesnapshot (tar.gz zip) |
| parent | af31651461702071ec32401b760252fb27b9048d | commitdiff |
Proved that "events_not_after h t" is monotonic in t
| Communication.thy | diffblobblamehistory |