<key name="theory_file"></key>
<key name="inline">logic/equality/symmetric_eq nodefaults</key>
<key name="inline">logic/equality/transitive_eq nodefaults</key>
+ <key name="inline">logic/equality/eq_elim_r nodefaults</key>
+ <key name="inline">logic/equality/eq_f nodefaults</key>
+ <key name="inline">logic/equality/eq_f' nodefaults</key>
</section>
</helm_registry>