NEWS
changeset 19252 1f7c69a5faac
parent 19240 3a73cb17a707
child 19254 efaf5d47049e
equal deleted inserted replaced
19251:6bc0dda66f32 19252:1f7c69a5faac
   388 as foo_bar.inducts;
   388 as foo_bar.inducts;
   389 
   389 
   390 * Library: added theory Coinductive_List of potentially infinite lists
   390 * Library: added theory Coinductive_List of potentially infinite lists
   391 as greatest fixed-point.
   391 as greatest fixed-point.
   392 
   392 
       
   393 * Library: added theory AssocList which implements (finite) maps as 
       
   394 association lists.
   393 
   395 
   394 *** ML ***
   396 *** ML ***
   395 
   397 
   396 * Pure/library:
   398 * Pure/library:
   397 
   399