diff options
| author | Pierre Courtieu | 2005-11-09 15:24:40 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2005-11-09 15:24:40 +0000 |
| commit | b851888514322ecaefc6898b8a74cbaf412982ce (patch) | |
| tree | 57a5f406fca0f0b5e22307630ad143d664e1cbc6 /coq/example.v | |
| parent | df26e1b81bd4fb205e0989b94566f9f97f63a9b8 (diff) | |
Added holes to "math...with" generation from a type name.
Diffstat (limited to 'coq/example.v')
0 files changed, 0 insertions, 0 deletions