changeset 26623 | 81547c8d51f8 |
parent 26486 | b65a5272b360 |
child 26889 | ccea41fb5c39 |
--- 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