[Averan2][averan5] Updated AutoDeduceTest.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Updated unification.
[Averan2][averan5] Updated unification.
[Averan2][averan5] Updated AutoDeduce.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Updated tests (workaround fo...
[Averan2][averan5] Updated AutoDeduce.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Updated AutoDeduce.
[Averan2][averan5] Updated AutoDeduce.
[Averan2][averan5] Updated AutoDeduce.
[Averan2][averan5] Fixed a defect in Goal.
[Averan2][averan5] Updated AutoDeduce.
[Averan2][averan5] Updated StandardTest.
[Averan2][averan5] Updated AutoDeduce.
[Averan2][averan5] Updated AutoDeduce.
[Averan2][averan5] Updated AutoDeduce.
[Averan2][averan5] Updated AutoDeduce.
[Averan2][averan5] Updated AutoDeduce.
[Averan2][averan5] Started work on new autoDedu...
[Averan2][averan5] Refactoring.
[Averan2][averan5] Updated StandardTest.
[Averan2][averan5] Updated StandardTest.
[Averan2][averan5] Updated StandardTest.
[Averan2][averan5] Updated StandardTest.
[Averan2][averan5] Updated StandardTest.
[Averan2][averan5] Updated justify().
[Averan2][averan5] Fixed a defect in AveranTool...
[Averan2][averan5] Updated justify().
[Averan2][averan5] Refactoring.
[Averan2][averan5] Updated justify().
[Averan2][averan5] Refactoring.
[Averan2][averan5] Updated StandardTest.
[Averan2][averan5] Updated justify().
[Averan2][averan5] Refactoring.
[Averan2][averan5] Updated justify().
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Refactoring.
[Averan2][averan5] Started work on simplified d...
[Averan2][averan4] Updated justify() (for upcom...
[Averan2][averan4] Started work on autoDeduce.
[Averan2][averan4] Refactoring.
[Averan2][averan4] Refactoring.
[Averan2][averan4] Updated Standard; refactoring.
[Averan2][averan4] Refactoring.
[Averan2][averan4] Refactoring.
[Averan2][averan4] Refactoring.
[Averan2][averan4] Updated Standard.
[Averan2][averan4] Fixed a defect in Goal; refa...
[Averan2][averan4] Added Goal.
[Averan2][averan4] Refactoring.
[Averan2][averan4] Updated deduction textual re...
[Averan2][averan4] Updated deduction textual re...
[Averan2][averan4] Updated deduction textual re...
[Averan2][averan4] Refactoring.
[Averan2][averan4] Refactoring.
[Averan2][averan4] Refactoring.
[Averan2][averan4] Updated proof message defini...
[Averan2][averan4] Refactoring.