Theory Derive_Aux

theory Derive_Aux
imports 
  Deriving.Derive_Manager
begin

ML_file ‹derive_aux.ML›

end