[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:




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