diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2016-07-08 11:49:06 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2016-07-08 11:49:06 +0200 |
| commit | 4c0c4b46993aeb31786d60cb278cfb317dea454e (patch) | |
| tree | 41f64aee8b034659b5ac91fde22a238c54eb8ebd /theories/Program | |
| parent | 72094961d9bd7f0f618d30b2b508d8924336d7b4 (diff) | |
Add test for pi_eq_proofs.
Diffstat (limited to 'theories/Program')
0 files changed, 0 insertions, 0 deletions