diff options
| author | David Aspinall | 2003-02-24 12:15:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-24 12:15:23 +0000 |
| commit | fb6a4c9549b270393e97fb78dda19ab50b3bb7fe (patch) | |
| tree | 843acb0bddcbdfd946e68637790ece748333a939 /acl2/example.acl2 | |
| parent | a226f10e9ca3053df88f7692f1f5c524d85a647c (diff) | |
Fix proofdefinvisible, proofdefshortcut to work in compiled version
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions