
val pnf : Fol.fol Formulas.formula -> Fol.fol Formulas.formula

val nnf : 'a Formulas.formula -> 'a Formulas.formula

val simplify : Fol.fol Formulas.formula -> Fol.fol Formulas.formula


val pnf : Fol.fol Formulas.formula -> Fol.fol Formulas.formula

val nnf : 'a Formulas.formula -> 'a Formulas.formula

val simplify : Fol.fol Formulas.formula -> Fol.fol Formulas.formula
