export is_draft, not draftN;
authorwenzelm
Thu Apr 10 20:54:15 2008 +0200 (2008-04-10)
changeset 2662381547c8d51f8
parent 26622 e8e81ddb8919
child 26624 770265032999
export is_draft, not draftN;
src/Pure/context.ML
     1.1 --- a/src/Pure/context.ML	Thu Apr 10 17:01:41 2008 +0200
     1.2 +++ b/src/Pure/context.ML	Thu Apr 10 20:54:15 2008 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4    val is_stale: theory -> bool
     1.5    val PureN: string
     1.6    val CPureN: string
     1.7 -  val draftN: string
     1.8 +  val is_draft: theory -> bool
     1.9    val exists_name: string -> theory -> bool
    1.10    val names_of: theory -> string list
    1.11    val pretty_thy: theory -> Pretty.T