exchange: master a838af7d
| Author | Committer | Branch | Timestamp | Parent |
|---|---|---|---|---|
| Jeff Burdges | Jeff Burdges | master | 2017-05-22 17:16 | master 6876e317 |
| Changeset | Improve proof, remove false generality | |||
| mod - doc/paper/taler.tex | Diff File | |||
| Author | Committer | Branch | Timestamp | Parent |
|---|---|---|---|---|
| Jeff Burdges | Jeff Burdges | master | 2017-05-22 17:16 | master 6876e317 |
| Changeset | Improve proof, remove false generality | |||
| mod - doc/paper/taler.tex | Diff File | |||