Auto2_Setup

Auto2_HOL_Extra_Setup

HOL_Base

Auto2_HOL_Setup

Logic_Thms

Order_Thms

Arith_Thms

Set_Thms

Lists_Thms

Auto2_Main

Auto2_Test

Pelletier

Primes_Ex