Bugs w.r.t. raising/lowering dummy indices when doing simplify_indexed.
authorChris Dams <Chris.Dams@mi.infn.it>
Fri, 20 Oct 2006 16:29:33 +0000 (16:29 +0000)
committerChris Dams <Chris.Dams@mi.infn.it>
Fri, 20 Oct 2006 16:29:33 +0000 (16:29 +0000)

No differences found