--- a/NEWS Sun Jan 21 16:46:40 2007 +0100
+++ b/NEWS Sun Jan 21 17:13:30 2007 +0100
@@ -769,6 +769,8 @@
ML {* @{claset} *}
ML {* @{clasimpset} *}
+The same works for sources being ``used'' within an Isar context.
+
* Pure/library:
val burrow: ('a list -> 'b list) -> 'a list list -> 'b list list