add is_Mul
authorMatthias Braun <matze@braunis.de>
Tue, 8 May 2007 15:25:38 +0000 (15:25 +0000)
committerMatthias Braun <matze@braunis.de>
Tue, 8 May 2007 15:25:38 +0000 (15:25 +0000)
[r13717]


No differences found