install_pp Position.T;

--- a/src/Pure/pure_setup.ML	Thu Aug 07 19:21:37 2008 +0200
+++ b/src/Pure/pure_setup.ML	Thu Aug 07 19:21:38 2008 +0200
@@ -28,6 +28,8 @@
 
 (* ML toplevel pretty printing *)
 
+install_pp (make_pp ["Position", "T"] (Pretty.pprint o Pretty.enum "," "{" "}" o
+  map (fn (x, y) => Pretty.str (x ^ "=" ^ y)) o Position.properties_of));
 install_pp (make_pp ["Thm", "thm"] ProofDisplay.pprint_thm);
 install_pp (make_pp ["Thm", "cterm"] ProofDisplay.pprint_cterm);
 install_pp (make_pp ["Thm", "ctyp"] ProofDisplay.pprint_ctyp);