gen_fun::substitute: normalize terms
commit12f1742dd4300bb377ef2fbd1a84904caf48210f
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 3 Nov 2006 09:07:47 +0000 (3 10:07 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 18 Dec 2006 23:33:27 +0000 (19 00:33 +0100)
tree342dd13ec3b4ef93057faec2966be1acc2888afa
parent2ddea7657e811870cbcf8427fc0f319dd6f82a22
gen_fun::substitute: normalize terms
genfun.cc