tip-lib

tons of inductive problems - support library and tools.

This package provides a tool for processing inductive theorem proving problems in TIP format (see the homepage for details).