auxiliary → core Relation

File in gui/auxiliary	Includes file in gui/core
typed_formula.hpp	log.hpp
iterator / policy_order.hpp	log.hpp