TPHOLs 2001 (2001 Edinburgh, Scotland)

• Theorem proving in higher order logics