diff options
| author | Assia Mahboubi | 2007-12-07 15:18:12 +0000 |
|---|---|---|
| committer | Assia Mahboubi | 2007-12-07 15:18:12 +0000 |
| commit | 8f0e60934c205b4fdba26c1e205988dca92bd02c (patch) | |
| tree | ea7cdcce2bd2d925c540294863a1e24367d7a84f /BUGS.developer | |
| parent | da21b5e16c55b9e8242cae9035b34a5d6c58c5af (diff) | |
Print Coercions added to coq-syntax
Diffstat (limited to 'BUGS.developer')
0 files changed, 0 insertions, 0 deletions