export pretty_classrel/arity;

--- a/src/Pure/Isar/proof_context.ML	Tue Apr 11 16:00:07 2006 +0200
+++ b/src/Pure/Isar/proof_context.ML	Tue Apr 11 16:00:08 2006 +0200
@@ -26,6 +26,8 @@
   val pretty_term: context -> term -> Pretty.T
   val pretty_typ: context -> typ -> Pretty.T
   val pretty_sort: context -> sort -> Pretty.T
+  val pretty_classrel: context -> class list -> Pretty.T
+  val pretty_arity: context -> arity -> Pretty.T
   val pp: context -> Pretty.pp
   val pretty_thm: context -> thm -> Pretty.T
   val pretty_thms: context -> thm list -> Pretty.T