<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<index_root>
<pim project="/test">
<rodin_index/>
<export_table/>
<graph is_sorted="true"/>
</pim>
<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>
