XSB Src (SVN)-old

Due to updates. (Others with better latex installations might want to recompile
these.)

Fix minor typo and minor clarification.

Document add_lib_dir/2/3.

Minor clarification on form of library_directory directory names.

Fix minor typo.

Modified abolish_table_pred to support the deletion of multiple subsidiary
tabled predicates generated by table_index. Done through a recusive loop
(not failure driven loop) to avoid a bug in abolish_table_pred
(when abolishing cascades.) This might be reconsidered when that bug is
tracked down.

Fixed implementation of table_index directive.

Add forall/3 (and 4, which will need documentation) as quantifier.

Some long-overdue code cleanup/simplification, and one minor change to
restrict loading (under import) of non-suffixed files to be only directories.

Added forall/2 (and 3,4) as quantifiers in excess_vars so it finds
free variables correctly.