[opentheory-users] Version problem

Robert White ai.robert.wangshuai at gmail.com
Tue May 19 13:29:33 UTC 2015

Hi all,

Just another quick question:

I noticed that we have bool-def.art and also bool-def-1.11.art
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?

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?

Thanks very much again.


Robert White <http://www.dptinfo.ens-cachan.fr/~swang/>(Shuai Wang)
INRIA Deducteam <https://www.rocq.inria.fr/deducteam/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20150519/d9235641/attachment.html>

More information about the opentheory-users mailing list