Splits the right hand side of form into a list of subformulas
according to the presence of sep. The left hand side of
form, if present, will be ignored. The length of the returned
list will be equal to the number of occurrences of sep in
form plus one.
Usage
splitFormula(form, sep)
Arguments
Value
a list of formulas, corresponding to the split of form
according to sep.