[Termtools] CeTA

[Johannes Waldmann]

Hi


>> https://github.com/jwaldmann/ceta-postproc/issues/16
> 
> I'll leave this one for René or Akihisa (though the issue on github
> seems to be closed already).

it's closed because I implemented the work-around (back then).
The question (now) is whether that work-around is still needed.


>> * can you please export nat_from_integer
>> https://github.com/jwaldmann/ceta-postproc/issues/21
> 
> This happened with changeset f1285556fa56 of IsaFoR

thanks! I think I'll keep my work-around now,
and pull your change after competition.


- J