TAU-DATABASE.html -- ACL2 Version 6.3

## TAU-DATABASE

to see the tau database as a (very large) object

    Major Section:  HISTORY

    Example:
    (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.