diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-03-12 12:25:05 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-03-12 12:25:05 -0400 |
| commit | c826168d7e72d3b5454ef581b61faaf11ff3be68 (patch) | |
| tree | 3bd8222c97e386419a32549465bf9824df9a4811 /include | |
| parent | 64c858689d78c4ed5a83363207faca5ecb2cbb91 (diff) | |
Add guard elim rule
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions