to see the tau database as a (very large) object
Major Section:  HISTORY

(tau-database (w state))

This function returns a large list object that shows in a human-readable way what the tau system knows about every function symbol. It is supposed to be self-explanatory. See introduction-to-the-tau-system for background details.

If the output is not self-explanatory, please contact the implementors and we will improve the output or the documentation.