Theory Auto2_Main

(*
  File: Auto2_Main.thy
  Author: Bohua Zhan

  Setup of auto2 for basic theorems in Main.
*)

theory Auto2_Main
  imports Arith_Thms Lists_Thms
begin

end