diff options
| author | Jason Gross | 2017-05-25 15:03:44 -0400 |
|---|---|---|
| committer | Jason Gross | 2017-05-28 09:38:36 -0400 |
| commit | 6547fc39a3d2a0e1b82921b0747c6eb2e76e6f3b (patch) | |
| tree | 4cf9dc76fc25a8aec649267ad7773e525bfa61f0 /Makefile.dev | |
| parent | 3451053f94daa436150f9630dd1746c768ea37f9 (diff) | |
More uniform indentation of sigma lemmas
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions