[opentheory-users] Version problem

[Joe Leslie-Hurd]

Hi Robert,

This is covered in the FAQ:

http://www.gilith.com/research/opentheory/faq.html#what-are-theorem-files

Please let me know if you need more information about this topic.

Cheers,

Joe

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.
>
> --
>
> Regards,
> Robert White (Shuai Wang)
> INRIA Deducteam
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>