-
Sylvain Dailler authored
or not before parsing with wrap. So we give a Tformula instead of Tterm constructor for those transformations.
22ef0535
or not before parsing with wrap. So we give a Tformula instead of Tterm constructor for those transformations.