diff options
author | 2010-09-07 09:44:40 +0000 | |
---|---|---|
committer | 2010-09-07 09:44:40 +0000 | |
commit | 8e433808a024ae74f10d792c4c00d51dc89674b3 (patch) | |
tree | 1a428723fd5b23f4749dbf7d2e4458e73652aa79 /acl2/example.acl2 | |
parent | c542a535abd7626b5b6dceece7b5b7cdffc7ab25 (diff) |
Fix of previous commit.
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions