Theory Setup

theory Setup
imports
  Complex_Main
  "HOL-Library.Dlist"
  "HOL-Library.RBT"
  "HOL-Library.Mapping"
  "HOL-Library.IArray"
begin

ML_file ‹../antiquote_setup.ML›
ML_file ‹../more_antiquote.ML›

unbundle constrain_space_syntax

declare [[default_code_width = 74]]

declare [[names_unique = false]]

end