...tex2html_verb_mark2.1
The call to copy_term/3 is used to strip attributes (domains etc) from any remaining variables in Vars.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

1999-08-07