[opentheory-users] defineTypeOp

Rob Arthan rda at lemma-one.com
Sat Aug 10 13:50:42 UTC 2013


Another minor comment on the article file format specification: shouldn't there be a constraint in defineTypeOp requiring the formula phi to have no free term variables?

Regards,

Rob.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20130810/86bf2f61/attachment.html>


More information about the opentheory-users mailing list