first version.
Removing some warnings while loading.
Adding test-3 and test-4. Derived methods initial support.
Adding modus ponens and test-5 and test-6.
Adding a thin proposition object.
Some more changes.
Added all the 16 primitive rules in NDL.
Fixed a bug in modus-ponens
Adding dseq.
Making I simpler by sending other code to Lisp's eval.
Added dlet and a new test case.
Adding *test-16*: nested dlet and using a deduction's result in the body of the dlet.
Added up to *test-18*
Moving the propositional tests into a new file.
Added specialize and ex-generalize and two tests for them.
Added subst-var
Small fix to subst-vars.
fop-test-3 and a simple subst-var.
Adding  F= , which tests for alphabetic equivalence between formulae. 	(F= '(forall (x) (and x b)) '(forall (y) (and y b))) ==> True.
Added pick-witness and unto *fol-test-6*