added pprint for Path.T, File.ident;

--- a/src/Pure/install_pp.ML	Thu Jul 19 23:18:59 2007 +0200
+++ b/src/Pure/install_pp.ML	Thu Jul 19 23:49:00 2007 +0200
@@ -11,3 +11,5 @@
 install_pp (make_pp ["Context", "proof"] ProofDisplay.pprint_context);
 install_pp (make_pp ["Syntax", "ast"] Syntax.pprint_ast);
 install_pp (make_pp ["typ"] (ProofDisplay.pprint_typ Pure.thy));
+install_pp (make_pp ["Path", "T"] (Pretty.pprint o Pretty.quote o Pretty.str o Path.implode));
+install_pp (make_pp ["File", "ident"] (Pretty.pprint o Pretty.str o File.rep_ident));