--- a/src/Pure/context.ML Tue Jun 24 19:43:16 2008 +0200
+++ b/src/Pure/context.ML Tue Jun 24 19:43:17 2008 +0200
@@ -29,6 +29,7 @@
val pretty_thy: theory -> Pretty.T
val string_of_thy: theory -> string
val pprint_thy: theory -> pprint_args -> unit
+ val pprint_thy_ref: theory_ref -> pprint_args -> unit
val pretty_abbrev_thy: theory -> Pretty.T
val str_of_thy: theory -> string
val deref: theory_ref -> theory
@@ -242,6 +243,8 @@
else thy_ref
end;
+val pprint_thy_ref = Pretty.pprint o pretty_thy o deref;
+
(* consistency *)