split-prop

Synopsis: split-prop;

Description:

This macros applies rules to decompose propositional toplevel formulas and also applies splitting rules.

Arguments:

No arguments required