diff options
| author | David Aspinall | 2000-09-29 19:28:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-29 19:28:31 +0000 |
| commit | 1f304274c50074ae27d3dd5aee428a2a7df50660 (patch) | |
| tree | 56afcbccbdd8ea8b4965d5dde5675eb32f992462 /acl2/example.acl2 | |
| parent | 5c96a09131a8f29b59c8c80bdf936ee592acd291 (diff) | |
Add acl2 and twelf to elisp dirs
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions