diff options
| author | Paul Steckler | 2017-03-22 14:50:23 -0400 |
|---|---|---|
| committer | Paul Steckler | 2017-03-22 14:50:23 -0400 |
| commit | 8c42932d1788c8924844d8fa22419f6fb4401030 (patch) | |
| tree | 0d984691b900a0eb56d25e1f460a286fcad393e7 /doc/RecTutorial/RecTutorial.v | |
| parent | 8b73fd7c6ce423f8c8a2594e90200f2407795d52 (diff) | |
make check not CoqIDE-specific
Diffstat (limited to 'doc/RecTutorial/RecTutorial.v')
0 files changed, 0 insertions, 0 deletions