diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-01-16 16:53:46 -0500 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-01-16 16:53:46 -0500 |
| commit | 96cec1597d70511e922a8c032845a09f0205b1a9 (patch) | |
| tree | e51b0945fd1ad14b852652d8c7dc8711aab0eb6c /README.md | |
| parent | 2bcfdaa9c746be4b6060b02a076f3ebcea743d98 (diff) | |
remove duplicate axiom
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions