Theory Derive_Aux
theory
Derive_Aux
imports
Deriving.Derive_Manager
begin
ML_file
‹derive_aux.ML›
end