<key name="output_type">procedural</key>
<key name="heading_lines">14</key>
<key name="theory_file"></key>
<key name="output_type">procedural</key>
<key name="heading_lines">14</key>
<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>
<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>