diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-02-21 13:22:30 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-02-21 13:22:30 -0500 |
| commit | fe5ac0fba7f973b2557c7ae7a6bb9248024ffacd (patch) | |
| tree | 1ffa812bdb1fcfc087d3c83b948c32f66023ebc8 /tests/eq.ur | |
| parent | 8794ce0f4d86c23e15314141e3638d99277e2ad0 (diff) | |
Time to start thinking about guards
Diffstat (limited to 'tests/eq.ur')
0 files changed, 0 insertions, 0 deletions