-
Sébastien Villemot authored
This table serves no useful purpose. It is better to append auxiliary equations at the time they are created, to avoid messing with the recursive ordering.
762f25ab
This table serves no useful purpose. It is better to append auxiliary equations at the time they are created, to avoid messing with the recursive ordering.