Start to use cl-parallel.
Simpler assignment of a default value.
Use cl-parallel.
Better rendering of include instructions.
Require LEXER to have a stream argument.
Don't use standard input.
Use cl-parallel's PAR-MAP.
Simplification of HAS-CONJECTURE-FORMULA? and CONJECTURE-FORMULA.
CL-style predicate.
Just remove it.
Find conjecture formulas.
Use the new CONJECTURE-FORMULA generic function.
Dump .fasls.
Simplify Makefile.
wildcard function is what I intended.
Use MEMBER.
NEGATE things.
SATISFIABLE-P.
NEGATE a TPTP formula.  Definitions.
Complete independence.