<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><font size="+1">I have a student who was going to formalise
things about fields and field extensions. Does that clash with
your work in any way?</font></p>
<p><font size="+1">In any case, we should definitely coordinate our
efforts here to avoid duplication of work.</font></p>
<p><font size="+1">Manuel<br>
</font></p>
<br>
<div class="moz-cite-prefix">On 2018-05-08 13:49, Lawrence Paulson
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:2DF481D8-1094-4466-B17A-5D93E45165B1@cam.ac.uk">
<pre wrap="">I have two interns from École Polytechnique. They have been going over HOL-Algebra and Group-Ring-Module, providing new proofs of the best results in the latter and tidying up some messy proofs in the former, as well. They are also systematising the chaotic naming conventions that they found there. So there will be big changes to HOL-Algebra in the coming weeks. This is an early warning in case anybody else wants to work on this directory.
Larry
_______________________________________________
isabelle-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:isabelle-dev@in.tum.de">isabelle-dev@in.tum.de</a>
<a class="moz-txt-link-freetext" href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev</a>
</pre>
</blockquote>
<br>
</body>
</html>