<div dir="ltr">Hi all,<div><br></div><div>Just another quick question:</div><div><br></div><div>I noticed that we have bool-def.art and also bool-def-1.11.art</div><div>I noticed that bool-def.art is in version 6. I wonder if bool-def-1.11.art is just the same thing in the old version?</div><div><br></div><div>Since the page bool-def-1.11.html gives me no further idea of bool-def-1.11.art, shall I just ignore that file in use?</div><div><br></div><div>Thanks very much again.</div><div><br>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><br></div><div>Regards,</div><div><a href="http://www.dptinfo.ens-cachan.fr/~swang/" target="_blank">Robert White </a>(Shuai Wang)</div><div><a href="https://www.rocq.inria.fr/deducteam/" target="_blank">INRIA Deducteam</a></div></div></div></div></div></div></div></div></div>
</div></div>