<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Yes, that's my bad. Thanks! I was about
to check Mira for complaints. See now AFP/
<meta name="qrichtext" content="1">
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<style type="text/css">
p, li { white-space: pre-wrap; }</style>1dd93cc85dfb.<br>
<br>
Dmitriy<br>
<br>
On 23.10.2014 14:25, Florian Haftmann wrote:<br>
</div>
<blockquote cite="mid:5448F3BA.7050704@informatik.tu-muenchen.de"
type="cite">
<pre wrap="">Isabelle 06dfbfa4b3ea
AFP 33c18a9138e9
*** Unknown old-style datatype "Regular_Exp.rexp"
*** At command "derive" (line 18 of
"/mnt/home/haftmann/data/afp/devel/thys/Containers/Compatibility_Containers_Regular_Sets.thy")
Florian
</pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
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>