diff options
| author | Assia Mahboubi | 2007-11-16 13:51:43 +0000 |
|---|---|---|
| committer | Assia Mahboubi | 2007-11-16 13:51:43 +0000 |
| commit | 6212b7f6c30ecae3bcd8d39a3332ed429c581b52 (patch) | |
| tree | a97b39d1562ffa1d097823252ebc8f5a67a15b07 /BUGS.developer | |
| parent | 24ae82f9fc9816ca0a1e4de7447ce1db3a2baa28 (diff) | |
test commit : added Structure to coq-defn-db
Diffstat (limited to 'BUGS.developer')
0 files changed, 0 insertions, 0 deletions