[project @ 2004-01-14 14:58:57 by ralf] Added gdepth to determine depth of a term.
[project @ 2004-01-14 14:58:57 by ralf]
Added gdepth to determine depth of a term.

beni55/pretty,ekmett/containers,hvr/containers,shockkolate/containers,iu-parfunc/containers,Zigazou/containers,ekmett/containers,shockkolate/containers,hvr/containers,shockkolate/containers,meiersi/psqueues-old,hvr/containers,Zigazou/containers,Zigazou/containers,iu-parfunc/containers,ekmett/containers,iu-parfunc/containers