diff options
| author | David Aspinall | 2001-05-03 22:29:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-05-03 22:29:40 +0000 |
| commit | 982af508367c4400e1c17f5f07f74e7374c57a42 (patch) | |
| tree | eaea0691890392b409ec4ac6dbbc37807b8dece8 /acl2/example.acl2 | |
| parent | 9aba96204a685ebfee49cfea1a8abe24d772da56 (diff) | |
change for Emacs compatibility and FSF/Xemacs update. Copyright update.
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions