OKlibrary  0.2.1.6
include.mac File Reference

Inclusion file for Maxima functions regarding propositional logic. More...

Go to the source code of this file.


Detailed Description

Inclusion file for Maxima functions regarding propositional logic.

Use by

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

Definition in file include.mac.