OKlibrary  0.2.1.6
Formulas.mac File Reference

Functions for basic representations of and operations with formulas. More...

Go to the source code of this file.


Detailed Description

Functions for basic representations of and operations with formulas.

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/PropositionalLogic/Formulas.mac");

Definition in file Formulas.mac.