[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