diff options
| author | Paul Steckler | 2017-05-19 11:41:28 -0400 |
|---|---|---|
| committer | Paul Steckler | 2017-05-19 11:41:28 -0400 |
| commit | 92e3fddf3b2b169e4853cb382f5c44d7ec9f2733 (patch) | |
| tree | ca486e5d9f3e207ae5c95eefa8210bf1359e137d /interp/implicit_quantifiers.ml | |
| parent | c64a28ee5a6643449f7c77ed7b8737e8f01ede52 (diff) | |
add test for Show with -emacs, bug 5535
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions