diff options
| author |  Jason Gross <jasongross9@gmail.com> | 2016-07-03 00:04:45 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2016-07-03 00:04:45 -0700 |
| commit | f48bb3a2eefeb64b4968f7f551b3d5f345348138 (patch) | |
| tree | 258531afcbdc47cde35ce876a67a38d940c2d211 /_CoqProject | |
| parent | 84c57644ccc452a6c952e88fb6752562e60adef4 (diff) | |
| parent | 77d576d027919445c57e6dbe9e4635c716fb05e3 (diff) | |
Merge pull request #19 from JasonGross/rename-z-lemmas
Rename lemmas about Z in ZUtil
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions