[opentheory-users] Version problem
joe at gilith.com
Tue May 19 17:10:27 UTC 2015
This is covered in the FAQ:
Please let me know if you need more information about this topic.
On Tue, May 19, 2015 at 6:29 AM, Robert White
<ai.robert.wangshuai at gmail.com> wrote:
> 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 (Shuai Wang)
> INRIA Deducteam
> opentheory-users mailing list
> opentheory-users at gilith.com
More information about the opentheory-users