diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-17 17:14:21 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-17 17:14:21 -0400 |
| commit | 6429a3881ba22c1847b2881765b9ca64acf02327 (patch) | |
| tree | 5198e6c2966f974d5c24e129718565c95723e0b3 /src/expl_env.sig | |
| parent | 4ca360231456a3b719e27462a74bb8340578daeb (diff) | |
Beefier nested selfification test
Diffstat (limited to 'src/expl_env.sig')
0 files changed, 0 insertions, 0 deletions