diff options
| author | Enrico Tassi | 2014-12-26 15:51:57 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-12-26 16:00:31 +0100 |
| commit | 3f4af783a249aab22d0d772bf21a0d5284aba407 (patch) | |
| tree | bbe13c0f7b7374f0314cb5fdc1cb063a31238272 /kernel/term.ml | |
| parent | 2919e4a927a4574a28012ae4ba9523e01fed1360 (diff) | |
new test for coqchk
Diffstat (limited to 'kernel/term.ml')
0 files changed, 0 insertions, 0 deletions