diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-08 11:45:19 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-08 11:45:19 -0500 |
| commit | 9285fc85a25fc1fbe9e8d5c37f63dffedb197fa6 (patch) | |
| tree | 8ac2d14152b1ae2cfccf03bd0cf90b6f6592ab99 /demo/treeFun.urs | |
| parent | 778b73af8cd74791c5d2f8cc520d82e3b4e1f5de (diff) | |
Shake bug fix; pattern reduction in ReduceLocal
Diffstat (limited to 'demo/treeFun.urs')
0 files changed, 0 insertions, 0 deletions