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