[transforms] Implemented the simple identification of equivalence rules, commutative and associative operations
[transforms] Added identification of replace rules
[transforms] Updated automatic transformations
[transforms] Refactoring...
[transforms] Auto transformations development in progress...
[transforms] Fixed bug and added debug output
[transforms] Refactoring and added generation of transformation derivation steps
[transforms] Updated automatic transformations
[transforms] Refactoring and comment update
[transforms] New version in progress...
[transforms] New version is almost done
[transforms] New version is done
[transforms] First fully worked version
[transforms] Added closure law detection
[transforms] Raw version for associative closure transformations has been done
[transforms] Fixed bugs
Merge branch 'develop' into autotransformations
[transforms] Fixed problem with RPN-format Metamath proof generation
[transforms] The main class for transformations was moved to the new package
[transforms] Refactoring... part 1