src/Pure/General/binding.ML

--- a/src/Pure/General/binding.ML	Fri Aug 22 11:31:19 2014 +0200
+++ b/src/Pure/General/binding.ML	Fri Aug 22 12:05:47 2014 +0200
@@ -31,6 +31,7 @@
   val conceal: binding -> binding
   val pretty: binding -> Pretty.T
   val print: binding -> string
+  val pp: binding -> Pretty.T
   val bad: binding -> string
   val check: binding -> unit
 end;
@@ -133,6 +134,8 @@
 
 val print = Pretty.str_of o pretty;
 
+val pp = pretty o set_pos Position.none;
+
 
 (* check *)