[opentheory-users] thy files

Ramana Kumar ramana.kumar at gmail.com
Tue Sep 6 23:52:50 UTC 2011


Is the syntax for theory package (.thy) files specified somewhere?



More information about the opentheory-users mailing list