Commit Graph

1 Commits (426c63a735cefa7bc6f8a9de3c9e3a2590df9104)

Author SHA1 Message Date
Stéphane Adjemian(Charybdis) 86445832fd Added routine returning true iff a variable is an auxiliary variable. 2018-08-10 14:52:22 +02:00