exchange: master 4c6d7d9b
| Author | Committer | Branch | Timestamp | Parent |
|---|---|---|---|---|
| Florian Dold | Florian Dold | master | 2017-05-16 16:45 | master ef71452e |
| Changeset | proof for lemma 1 and corrolary | |||
| mod - doc/paper/taler.tex | Diff File | |||
| Author | Committer | Branch | Timestamp | Parent |
|---|---|---|---|---|
| Florian Dold | Florian Dold | master | 2017-05-16 16:45 | master ef71452e |
| Changeset | proof for lemma 1 and corrolary | |||
| mod - doc/paper/taler.tex | Diff File | |||