definition of equivalence for local environments,

[helm.git] / matita / matita / help / C / declarative_tactics_quickref.xml

<table frame="topbot" rowsep="0" colsep="0" role="grammar">
  <title>tactics</title>
  <tgroup cols="3">
    <tbody/>
  </tgroup>
</table>