tuned;
authorwenzelm
Sun Jan 21 17:13:30 2007 +0100 (2007-01-21)
changeset 22151511f7fb8469e
parent 22150 b01e3e21f710
child 22152 df787d582323
tuned;
NEWS
     1.1 --- a/NEWS	Sun Jan 21 16:46:40 2007 +0100
     1.2 +++ b/NEWS	Sun Jan 21 17:13:30 2007 +0100
     1.3 @@ -769,6 +769,8 @@
     1.4  ML {* @{claset} *}
     1.5  ML {* @{clasimpset} *}
     1.6  
     1.7 +The same works for sources being ``used'' within an Isar context.
     1.8 +
     1.9  * Pure/library:
    1.10  
    1.11    val burrow: ('a list -> 'b list) -> 'a list list -> 'b list list