OKlibrary  0.2.1.6
Basics.mac File Reference

The basic functions regarding prime clauses. More...

Go to the source code of this file.


Detailed Description

The basic functions regarding prime clauses.

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/Primality/Basics.mac");

Definition in file Basics.mac.