Identifier: integration



Rules:
Ruleset
 integration_rules
Ruleset add_new_c
Ruleset simplify_Integral

For applying rules:

Rewriteorder
termlessI

For evaluating conditions in rules:
Ruleset conditions_in_integration



(c) isac-team 2006 (math-author)