[isabelle-dev] Theorem

[Marmsoler, Diego]

Oh, sorry for that and thanks for letting me know.

Diego


-------- Original message --------
From: Makarius <makarius at sketis.net>
Date: 03/08/2024 11:23 (GMT+00:00)
To: "Marmsoler, Diego" <D.Marmsoler at exeter.ac.uk>, isabelle-dev at mailman.proof.cit.tum.de
Subject: Re: [isabelle-dev] Theorem

CAUTION: This email originated from outside of the organisation. Do not click links or open attachments unless you recognise the sender and know the content is safe.


On 03/08/2024 11:44, Marmsoler, Diego wrote:
>
> I just started developing in Isabelle/ML and I tried to consult the
> implementation manual but could not find an answer to my question so I will
> try to post it here.

This is the wron gmailing list. Using Isabelle/ML is a regular isabelle-users
thing.

The Isabelle website explains the purpose of the isabelle-dev mailing list.

        Makarius

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20240803/51249707/attachment.htm>