">
<link title="Genr_values" rel="Chapter" href="Genr_values.html">
<link title="Typed_vars" rel="Chapter" href="Typed_vars.html">
<link title="Genr_listary_equations" rel="Chapter" href="Genr_listary_equations.html">
<link title="Genr_substitutions" rel="Chapter" href="Genr_substitutions.html">
<link title="Genr_equalities" rel="Chapter" href="Genr_equalities.html">
<link title="Genr_testing" rel="Chapter" href="Genr_testing.html">
<link title="Main" rel="Chapter" href="Main.html"><title>Term_utils</title>