* [ALEPH6,DEB] Added more descriptive messages for the number of positive and negative training examples that are proven relative to a given clause (result is written to the log file).
* [ALEPH6,DOC] Documented several predicates on proving positive and negative examples relative to a clause.
* [ALEPH6,SC] Renamed predicates and variables in the prove department.