diff options
| author | Pierre Courtieu | 2011-06-17 15:39:53 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2011-06-17 15:39:53 +0000 |
| commit | 6529a8dfa67fa4e1751f2ae8d8ee7398efd4d8d6 (patch) | |
| tree | d03be30e1b2eb58f960e0c305d63daf30aa8b0c4 /coq/ex | |
| parent | 662eacd888a86e9a47d59657751ed41f8c10aceb (diff) | |
Fix mais le find-father ne marche pas encore.
Diffstat (limited to 'coq/ex')
0 files changed, 0 insertions, 0 deletions