Codist Monk committed [r695]

[Averan2][averan5] Updated AutoDeduceTest.

Codist Monk committed [r694]

[Averan2][averan5] Refactoring.

Codist Monk committed [r693]

[Averan2][averan5] Updated unification.

Codist Monk committed [r692]

[Averan2][averan5] Updated unification.

Codist Monk committed [r691]

[Averan2][averan5] Updated AutoDeduce.

Codist Monk committed [r690]

[Averan2][averan5] Refactoring.

Codist Monk committed [r689]

[Averan2][averan5] Refactoring.

Codist Monk committed [r688]

[Averan2][averan5] Refactoring.

Codist Monk committed [r687]

[Averan2][averan5] Refactoring.

Codist Monk committed [r686]

[Averan2][averan5] Refactoring.

Codist Monk committed [r685]

[Averan2][averan5] Refactoring.

Codist Monk committed [r684]

[Averan2][averan5] Refactoring.

Codist Monk committed [r683]

[Averan2][averan5] Updated tests (workaround fo...

Codist Monk committed [r682]

[Averan2][averan5] Updated AutoDeduce.

Codist Monk committed [r681]

[Averan2][averan5] Refactoring.

Codist Monk committed [r680]

[Averan2][averan5] Refactoring.

Codist Monk committed [r679]

[Averan2][averan5] Refactoring.

Codist Monk committed [r678]

[Averan2][averan5] Refactoring.

Codist Monk committed [r677]

[Averan2][averan5] Refactoring.

Codist Monk committed [r676]

[Averan2][averan5] Refactoring.

Codist Monk committed [r675]

[Averan2][averan5] Refactoring.

Codist Monk committed [r674]

[Averan2][averan5] Refactoring.

Codist Monk committed [r673]

[Averan2][averan5] Refactoring.

Codist Monk committed [r672]

[Averan2][averan5] Refactoring.

Codist Monk committed [r671]

[Averan2][averan5] Refactoring.

Codist Monk committed [r670]

[Averan2][averan5] Updated AutoDeduce.

Codist Monk committed [r669]

[Averan2][averan5] Updated AutoDeduce.

Codist Monk committed [r668]

[Averan2][averan5] Updated AutoDeduce.

Codist Monk committed [r667]

[Averan2][averan5] Fixed a defect in Goal.

Codist Monk committed [r666]

[Averan2][averan5] Updated AutoDeduce.

Codist Monk committed [r665]

[Averan2][averan5] Updated StandardTest.

Codist Monk committed [r664]

[Averan2][averan5] Updated AutoDeduce.

Codist Monk committed [r663]

[Averan2][averan5] Updated AutoDeduce.

Codist Monk committed [r662]

[Averan2][averan5] Updated AutoDeduce.

Codist Monk committed [r661]

[Averan2][averan5] Updated AutoDeduce.

Codist Monk committed [r660]

[Averan2][averan5] Updated AutoDeduce.

Codist Monk committed [r659]

[Averan2][averan5] Started work on new autoDedu...

Codist Monk committed [r658]

[Averan2][averan5] Refactoring.

Codist Monk committed [r657]

[Averan2][averan5] Updated StandardTest.

Codist Monk committed [r656]

[Averan2][averan5] Updated StandardTest.

Codist Monk committed [r655]

[Averan2][averan5] Updated StandardTest.

Codist Monk committed [r654]

[Averan2][averan5] Updated StandardTest.

Codist Monk committed [r653]

[Averan2][averan5] Updated StandardTest.

Codist Monk committed [r652]

[Averan2][averan5] Updated justify().

Codist Monk committed [r651]

[Averan2][averan5] Fixed a defect in AveranTool...

Codist Monk committed [r650]

[Averan2][averan5] Updated justify().

Codist Monk committed [r649]

[Averan2][averan5] Refactoring.

Codist Monk committed [r648]

[Averan2][averan5] Updated justify().

Codist Monk committed [r647]

[Averan2][averan5] Refactoring.

Codist Monk committed [r646]

[Averan2][averan5] Updated StandardTest.

Codist Monk committed [r645]

[Averan2][averan5] Updated justify().

Codist Monk committed [r644]

[Averan2][averan5] Refactoring.

Codist Monk committed [r643]

[Averan2][averan5] Updated justify().

Codist Monk committed [r642]

[Averan2][averan5] Refactoring.

Codist Monk committed [r641]

[Averan2][averan5] Refactoring.

Codist Monk committed [r640]

[Averan2][averan5] Refactoring.

Codist Monk committed [r639]

[Averan2][averan5] Refactoring.

Codist Monk committed [r638]

[Averan2][averan5] Refactoring.

Codist Monk committed [r637]

[Averan2][averan5] Refactoring.

Codist Monk committed [r636]

[Averan2][averan5] Refactoring.

Codist Monk committed [r635]

[Averan2][averan5] Refactoring.

Codist Monk committed [r634]

[Averan2][averan5] Refactoring.

Codist Monk committed [r633]

[Averan2][averan5] Refactoring.

Codist Monk committed [r632]

[Averan2][averan5] Refactoring.

Codist Monk committed [r631]

[Averan2][averan5] Refactoring.

Codist Monk committed [r630]

[Averan2][averan5] Refactoring.

Codist Monk committed [r629]

[Averan2][averan5] Refactoring.

Codist Monk committed [r628]

[Averan2][averan5] Refactoring.

Codist Monk committed [r627]

[Averan2][averan5] Refactoring.

Codist Monk committed [r626]

Codist Monk committed [r625]

[Averan2][averan5] Refactoring.

Codist Monk committed [r624]

[Averan2][averan5] Refactoring.

Codist Monk committed [r623]

[Averan2][averan5] Refactoring.

Codist Monk committed [r622]

[Averan2][averan5] Refactoring.

Codist Monk committed [r621]

[Averan2][averan5] Refactoring.

Codist Monk committed [r620]

[Averan2][averan5] Refactoring.

Codist Monk committed [r619]

[Averan2][averan5] Refactoring.

Codist Monk committed [r618]

[Averan2][averan5] Refactoring.

Codist Monk committed [r617]

[Averan2][averan5] Refactoring.

Codist Monk committed [r616]

[Averan2][averan5] Started work on simplified d...

Codist Monk committed [r615]

[Averan2][averan4] Updated justify() (for upcom...

Codist Monk committed [r614]

[Averan2][averan4] Started work on autoDeduce.

Codist Monk committed [r613]

[Averan2][averan4] Refactoring.

Codist Monk committed [r612]

[Averan2][averan4] Refactoring.

Codist Monk committed [r611]

[Averan2][averan4] Updated Standard; refactoring.

Codist Monk committed [r610]

[Averan2][averan4] Refactoring.

Codist Monk committed [r609]

[Averan2][averan4] Refactoring.

Codist Monk committed [r608]

[Averan2][averan4] Refactoring.

Codist Monk committed [r607]

[Averan2][averan4] Updated Standard.

Codist Monk committed [r606]

[Averan2][averan4] Fixed a defect in Goal; refa...

Codist Monk committed [r605]

[Averan2][averan4] Added Goal.

Codist Monk committed [r604]

[Averan2][averan4] Refactoring.

Codist Monk committed [r603]

[Averan2][averan4] Updated deduction textual re...

Codist Monk committed [r602]

[Averan2][averan4] Updated deduction textual re...

Codist Monk committed [r601]

[Averan2][averan4] Updated deduction textual re...

Codist Monk committed [r600]

[Averan2][averan4] Refactoring.

Codist Monk committed [r599]

[Averan2][averan4] Refactoring.

Codist Monk committed [r598]

[Averan2][averan4] Refactoring.

Codist Monk committed [r597]

[Averan2][averan4] Updated proof message defini...

Codist Monk committed [r596]

[Averan2][averan4] Refactoring.