diff options
| author | Pierre Courtieu | 2004-03-17 14:48:45 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-03-17 14:48:45 +0000 |
| commit | 818c3801029863e220f17ef0ed12642e05a76e84 (patch) | |
| tree | 17889c6a56176190079ed17e441efc798feccb36 /acl2/example.acl2 | |
| parent | ae033a743e9fb6512bcb41da1d184d423904acab (diff) | |
holes debugging.
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions