helpers and useful axioms for manipulating relations in CamlInterface
readme