added successive transformation combinator
successive properly accounts for try
added utility functions to DG module
simpler decompose DG selector implemented
force transformation added
minor documentation changes
StrategyInfo removed from module list
RuleSelector cleanup; Instances cleanup
typo fixed
decomposeDGselect selects all rules not in roots of CWDG
replaced defaultOptions; wg implemented as transformation
added proof-buffer to tct.el
PE checks if processor succeeded
decomposeDG: better check for progress; decomposeDGselect takes
trivial sccs into account
added timed processor and transformation
added Describe instance declaration for transformation/processor instances
decomposeDGselect refined
changed proof-output of timed
withPE: proof output improved, selector fixed
fixed compilation bug