Project

General

Profile

Revision bc0691dc src/lib/CoAlgFormula.mli

View differences:

src/lib/CoAlgFormula.mli
88 88

  
89 89
val verifyFormula : formula -> unit
90 90

  
91
val equals: formula -> formula -> bool
91 92
val nnfNeg : formula -> formula
92 93
val nnf : formula -> formula
93 94

  

Also available in: Unified diff