RuleML/reaction-ruleml — pull request #52 by greenTara (2014-04-01 23:49:32+00:00)
Title: adding generic Operator for formulas

Signed-off-by: greenTara