[isabelle-dev] Theorem

[Makarius]

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