--- a/src/Pure/pure_setup.ML Tue Jul 20 20:10:27 2010 +0200
+++ b/src/Pure/pure_setup.ML Tue Jul 20 20:56:28 2010 +0200
@@ -34,6 +34,8 @@
toplevel_pp ["Syntax", "ast"] "Syntax.pretty_ast";
toplevel_pp ["Path", "T"] "Pretty.str o quote o Path.implode";
toplevel_pp ["File", "ident"] "Pretty.str o quote o File.rep_ident";
+toplevel_pp ["Proof", "state"] "(fn _: Proof.state => Pretty.str \"<Proof.state>\")";
+toplevel_pp ["Toplevel", "state"] "Toplevel.pretty_abstract";
if ml_system = "polyml-5.3.0"
then use "ML-Systems/install_pp_polyml-5.3.ML"