- changed title to Tseitins back-translation during mx in IDP
Ignore Tseitin Symbol* created by IDP during mx
Issue #295
new
Currently, during mx, all symbols existing in idp are translated into the structure. Knowledge should be added that some symbols have been created for internal representation and should not be added to the structure.
Comments (2)
-
reporter -
reporter - changed title to Ignore Tseitin Symbol* created by IDP during mx
- Log in to comment