diff options
| author |  Pierre Corbineau <Pierre.Corbineau@NOSPAM@imag.fr> | 2015-03-02 14:43:56 +0100 |
|---|---|---|
| committer | Pierre Corbineau <Pierre.Corbineau@NOSPAM@imag.fr> | 2015-03-02 14:43:56 +0100 |
| commit | caf8907992fdfe655af95fa74e9c749be98c430c (patch) | |
| tree | 4594566a93ca135871b14bd0659928580b2dd2ba /theories/Lists | |
| parent | d54b326f1271c4f3dfd207030c153b3e90dcd64b (diff) | |
| parent | 045b6955519e488ed15119ddf8313a81d91d95e3 (diff) | |
Merge branch 'trunk' of git+ssh://scm.gforge.inria.fr//gitroot/coq/coq into trunk
Diffstat (limited to 'theories/Lists')
0 files changed, 0 insertions, 0 deletions