1 Commits (49c06f5c7f7fbe4e72c5fa90e3ec299c6f321d03)

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