diff options
| author | Pierre Courtieu | 2004-03-29 08:23:49 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-03-29 08:23:49 +0000 |
| commit | 06b70d642a2f2ff48eddf78298eeb2cf71f4f4eb (patch) | |
| tree | 25df6c9c1a6ca64849c69ac3135328d9ee020831 /twelf | |
| parent | 8b9d015e41d5c7a1498eb91141496fdb5eb27c2d (diff) | |
V8/V7 reserved keywords for coq
Diffstat (limited to 'twelf')
0 files changed, 0 insertions, 0 deletions