diff options
| author | Stefan Monnier | 2012-06-08 13:00:47 +0000 |
|---|---|---|
| committer | Stefan Monnier | 2012-06-08 13:00:47 +0000 |
| commit | 43493a243f3099e38c39a52cafa801aa4d716a94 (patch) | |
| tree | 2f0ffd0678519cc88d10ddd86a31b9caa8a8c5e9 /acl2/example.acl2 | |
| parent | 7ecdbfb869b5e9d6cd75c610ef125823b3727071 (diff) | |
Summary: Handle the new t value of which-func-modes.
Diffstat (limited to 'acl2/example.acl2')
0 files changed, 0 insertions, 0 deletions