[Termtools] CeTA

[Christian Sternagel]

Dear Johannes,

On 6/28/20 6:39 PM, Johannes Waldmann wrote:
> Hi CeTA -
> 
> * is this still true: CeTA cannot read ITS problem?
> So the post-processor ignores it
> 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).

> 
> * can you please export nat_from_integer
> https://github.com/jwaldmann/ceta-postproc/issues/21

This happened with changeset f1285556fa56 of IsaFoR

cheers

chris