diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2004-04-16 11:32:42 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2004-04-16 11:32:42 +0000 |
| commit | 801e65f796b46caff7e1248db442102e0f943f44 (patch) | |
| tree | 0a82e0c9a17284823367b7fd7b4e548d52be5ac7 /BUGS | |
| parent | 254a9c79fce52f1326895848a7f8bb3cd1b3663f (diff) | |
added an example fils for coq x-symbols.
Diffstat (limited to 'BUGS')
0 files changed, 0 insertions, 0 deletions