<a href="http://helm.cs.unibo.it/browse/">browsed as an hypertext</a>
(locally or on the World Wide Web) and
<a href="http://helm.cs.unibo.it/whelp/"> searched by means of
<a href="http://helm.cs.unibo.it/browse/">browsed as an hypertext</a>
(locally or on the World Wide Web) and
<a href="http://helm.cs.unibo.it/whelp/"> searched by means of
The tactical language, part of the proof language, has
step-by-step semantics, enabling inspection and replaying of deeply
structured proof scripts. </p>
The tactical language, part of the proof language, has
step-by-step semantics, enabling inspection and replaying of deeply
structured proof scripts. </p>