Project

General

Profile

« Previous | Next » 

Revision 3b49207d

Added by Andreas Müller about 5 years ago

fix #7772 Rename TermBase_inverseRepresentation to DefinedTermBase_InverseRepresentation

View differences:

Also available in: Unified diff