# HG changeset patch
# User wenzelm
# Date 1207853655 -7200
# Node ID 81547c8d51f8373f63ec47f894cf04ec62f16ce1
# Parent  e8e81ddb89195bd2e8a8550d739d734abeb72673
export is_draft, not draftN;

diff -r e8e81ddb8919 -r 81547c8d51f8 src/Pure/context.ML
--- a/src/Pure/context.ML	Thu Apr 10 17:01:41 2008 +0200
+++ b/src/Pure/context.ML	Thu Apr 10 20:54:15 2008 +0200
@@ -24,7 +24,7 @@
   val is_stale: theory -> bool
   val PureN: string
   val CPureN: string
-  val draftN: string
+  val is_draft: theory -> bool
   val exists_name: string -> theory -> bool
   val names_of: theory -> string list
   val pretty_thy: theory -> Pretty.T