[opentheory-users] order of arguments to eqMp

Ramana Kumar ramana.kumar at gmail.com
Sun Jan 9 21:12:34 UTC 2011


Is the documentation of the file format here
http://www.gilith.com/research/opentheory/article.html#eqMpCommand
correct?
My reader appears to be saying that the article file corresponding to
bool-1.0 wants |- phi to be popped before |- phi' = psi



More information about the opentheory-users mailing list