Theory Auto2_Setup

(*
  File: Auto2_Base.thy
  Author: Bohua Zhan

  Base file for auto2 setup.
*)

theory Auto2_Setup
  imports Pure
begin

ML_file ‹util.ML›
ML_file ‹util_base.ML›
ML_file ‹util_logic.ML›
ML_file ‹box_id.ML›
ML_file ‹consts.ML›
ML_file ‹property.ML›
ML_file ‹wellform.ML›
ML_file ‹wfterm.ML›
ML_file ‹rewrite.ML›
ML_file ‹propertydata.ML›
ML_file ‹matcher.ML›
ML_file ‹items.ML›
ML_file ‹wfdata.ML›
ML_file ‹auto2_data.ML›
ML_file ‹status.ML›
ML_file ‹normalize.ML›
ML_file ‹proofsteps.ML›
ML_file ‹auto2_state.ML›
ML_file ‹logic_steps.ML›
ML_file ‹auto2.ML›
ML_file ‹auto2_outer.ML›
ML_file ‹auto2_setup.ML›

end