OKlibrary  0.2.1.6
Formulas.mac File Reference

Tests for basic functionality regarding propositional formulas. More...

Go to the source code of this file.


Detailed Description

Tests for basic functionality regarding propositional formulas.

Use by

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

Definition in file Formulas.mac.