taddeus/trs

Autore	SHA1 Messaggio	Data
Taddeus Kroes	76db99131f Added rules that calculate logarithm exponents to see if a logarithm can be reduced to a number.	14 anni fa
Taddeus Kroes	a54a32b218 Added some rules to IMPLICIT list.	14 anni fa
Taddeus Kroes	65cc88c7e6 Added IMPLICIT_RULES list for rules that are not printed in verbose rewrite_all mode.	14 anni fa
Taddeus Kroes	d86dda9273 Finished separating parser state and interactive state, and added first version of strategy.	14 anni fa