Title: Theorem proving with abstraction, part I
Subjects: Automatic theorem proving