equal
deleted
inserted
replaced
397 "=" on type bool) are handled, variable names of the form "lit_<n>" 
397 "=" on type bool) are handled, variable names of the form "lit_<n>" 
398 are no longer reserved, significant speedup. 
398 are no longer reserved, significant speedup. 
399 
399 
400 * inductive and datatype: provide projections of mutual rules, bundled 
400 * inductive and datatype: provide projections of mutual rules, bundled 
401 as foo_bar.inducts; 
401 as foo_bar.inducts; 

402 

403 * Library: theory Accessible_Part has been move to main HOL. 
402 
404 
403 * Library: added theory Coinductive_List of potentially infinite lists 
405 * Library: added theory Coinductive_List of potentially infinite lists 
404 as greatest fixedpoint. 
406 as greatest fixedpoint. 
405 
407 
406 * Library: added theory AssocList which implements (finite) maps as 
408 * Library: added theory AssocList which implements (finite) maps as 