diff options
| author | John Wiegley <johnw@newartisans.com> | 2009-02-23 14:41:11 -0400 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2009-02-23 14:41:11 -0400 |
| commit | 7b7814d46638bf35b8a1b8c606b2b7d29941931b (patch) | |
| tree | f331d2d90154de9a7cc30b50b2e024f48017df63 /tools/proof | |
| parent | 27fc3a3d43902bab109c5f08335f6132413764a2 (diff) | |
| download | fork-ledger-7b7814d46638bf35b8a1b8c606b2b7d29941931b.tar.gz fork-ledger-7b7814d46638bf35b8a1b8c606b2b7d29941931b.tar.bz2 fork-ledger-7b7814d46638bf35b8a1b8c606b2b7d29941931b.zip | |
Expr (a,b)+(c,d) is now equivalent to (a+c,b+d)
Diffstat (limited to 'tools/proof')
0 files changed, 0 insertions, 0 deletions