TPHOLs 2002 (2002 Hampton, Va.)

• Theorem proving in higher order logics