<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<index_root>
    <delta_list/>
    <indexer_registry>
        <registry_entry element_type="org.eventb.core.machineFile">
            <indexer id="machineIndexer"/>
        </registry_entry>
        <registry_entry element_type="org.eventb.core.contextFile">
            <indexer id="contextIndexer"/>
        </registry_entry>
    </indexer_registry>
</index_root>
