[opentheory-users] thy files

Joe Hurd joe at gilith.com
Sat Sep 10 23:26:48 UTC 2011


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
>



More information about the opentheory-users mailing list