anchor.diff:      Href0 = get_attrval(href, E),
       {Href, Es} = otp_xmlify_a_href(Href0, Es0),
       [makesee(Href, Es)].
  -    
  +
   equiv(Es) ->
       case get_content(equiv, Es) of
   	[] -> ["\s"];
  
positive.code: 
  localdef(E = #xmlElement{content = Es}) ->
      Var = case get_elem(typevar, Es) of
  	      [] -> 
  		  [label_anchor(t_abstype(get_content(abstype, Es)), E)];
  	      [V] ->
  		  t_var(V)
  
negative.code:     end.
  
  %% get_text(Tag, Es) -> string()
  %% If there is one element in Es with name Tag, and its content is
  %% a single xmlText, return the value of this xmlText.
  %% Otherwise return "".
  get_text(Name, Es) ->
  