<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<title></title>
</head>
<body>
<div name="messageBodySection">
<div dir="auto"><span style="font-size: 16px">Sorry I forgot one needs to have the latest version of the AFP as well. Thanks</span></div>
</div>
<div name="messageSignatureSection"><br>
<div class="matchFont">
<div dir="auto">Larry</div>
</div>
</div>
<div name="messageReplySection">On 7 Jul 2022, 17:03 +0100, Fabian Huch <huch@in.tum.de>, wrote:<br>
<blockquote type="cite" style="border-left-color: grey; border-left-width: thin; border-left-style: solid; margin: 5px 5px;padding-left: 10px;">
<br>
<div>On which version of Isabelle/AFP are you on? Isabelle/be0865060346 +<br>
AFP/1e0f664cffc8 works for me.<br>
</div>
</blockquote>
</div>
</body>
</html>