[opentheory-users] thy files

[Joe Hurd]

Hi Ramana,

This has been on my TODO list for some time, and your email prompted
me to finally do it:

http://www.gilith.com/research/opentheory/theory.html

Cheers,

Joe

On Tue, Sep 6, 2011 at 4:52 PM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
> Is the syntax for theory package (.thy) files specified somewhere?
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>