[isabelle-dev] NEWS: GCD and Binomial in Main

Manuel Eberl eberlm at in.tum.de
Fri Apr 28 14:54:24 CEST 2017

Before I forget: I did that and it is as expected; everything still works.


On 2017-04-25 11:12, Florian Haftmann wrote:
> Am 25.04.2017 um 11:06 schrieb Manuel Eberl:
>> I think you actually solved that problem by now. If I recall correctly,
>> it was one of the two dictionary-related problems I told you about a
>> year ago or so, and then Lars and you solved that problem somehow.
>> I can try putting in that code equation again and seeing what happens.
> Excellent, thanks.
> 	Florian
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20170428/cd149b52/attachment-0002.html>

More information about the isabelle-dev mailing list