| commit | e213c7e9d08b2be8b6241f94ebc5b18404ddcc3d | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 13 Nov 2006 16:43:28 +0000 (13 17:43 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 9 Dec 2006 20:59:54 +0000 (9 21:59 +0100) | ||
| tree | a8f07be54c93314b92864b069feca492bcde1402 | treesnapshot (tar.gz zip) |
| parent | 44d705f843cd2373289ba45e96b1ebcda13f3ef2 | commitdiff |
lexmin: indicator_term::is_opposite: assume numerators are the same
| lexmin.cc | diffblobblamehistory |