Re: [isabelle] Pushouts in Isabelle



I just noticed that this had been sent to the list.
I replied to Sebastiaan privately.  -- Gene Stark

On 03/17/2017 12:02 PM, Joosten, Sebastiaan wrote:
> Dear Eugene,
> 
> first of all: thank you for your Category3 AFP entry. I'm hoping you can help me with a question I have about Category
> Theory, and the Category3 AFP entry in particular.
> 





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.