[isabelle] Isabelle2015-RC0 ML ATP_Util.unyxml



Dear 2015-RC0 ML folks,

I'm looking for a replacement of the ATP_Util.unyxml ML function. I
was using it the following:

ML{*
fun term_to_string (ctx: Proof.context) (n: term) : string =
  n |> Syntax.pretty_term ctx |> Pretty.string_of |> ATP_Util.unyxml
*}

 Cornelius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.