Export all definitions