[opentheory-users] thy files

Ramana Kumar ramana.kumar at gmail.com
Sun Sep 11 22:50:44 UTC 2011


On Sun, Sep 11, 2011 at 12:26 AM, Joe Hurd <joe at gilith.com> wrote:
> 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

Thanks :)

>
> 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
>>
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>



More information about the opentheory-users mailing list