Major Section: HISTORY
Example: (tau-data-base (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.
If it is not, please contact the implementors and we will improve the output or the documentation.