<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Exchange Server">
<!-- converted from text --><style><!-- .EmailQuote { margin-left: 1pt; padding-left: 4pt; border-left: #800000 2px solid; } --></style>
</head>
<body>
<div dir="auto">Oh, sorry for that and thanks for letting me know.
<div dir="auto"><br>
</div>
<div dir="auto">Diego</div>
<div><br>
</div>
<div><br>
</div>
<div>-------- Original message --------</div>
<div>From: Makarius <makarius@sketis.net> </div>
<div>Date: 03/08/2024 11:23 (GMT+00:00) </div>
<div>To: "Marmsoler, Diego" <D.Marmsoler@exeter.ac.uk>, isabelle-dev@mailman.proof.cit.tum.de
</div>
<div>Subject: Re: [isabelle-dev] Theorem </div>
<div><br>
</div>
</div>
<font size="2"><span style="font-size:11pt;">
<div class="PlainText">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.<br>
<br>
<br>
On 03/08/2024 11:44, Marmsoler, Diego wrote:<br>
><br>
> I just started developing in Isabelle/ML and I tried to consult the<br>
> implementation manual but could not find an answer to my question so I will<br>
> try to post it here.<br>
<br>
This is the wron gmailing list. Using Isabelle/ML is a regular isabelle-users<br>
thing.<br>
<br>
The Isabelle website explains the purpose of the isabelle-dev mailing list.<br>
<br>
Makarius<br>
<br>
</div>
</span></font>
</body>
</html>