diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-04-28 13:13:08 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-04-28 13:13:08 -0400 |
| commit | cd07805915328fd5ee8d41b6cdd4d0340aa156aa (patch) | |
| tree | 04a869de660aaa874fca7be13f9fefb86c12cafb /to_gallina.md | |
| parent | 248282849e9b287fe817e64ccf53e09fa3991cbe (diff) | |
Cleanup: mostly moving lemmas to Util files, some moving lemmas to more general contexts.
Diffstat (limited to 'to_gallina.md')
0 files changed, 0 insertions, 0 deletions