NEWS
changeset 54745 46e441e61ff5
parent 54742 7a86358a3c0b
child 54787 6d1670095414
equal deleted inserted replaced
54744:1e7f2d296e19 54745:46e441e61ff5
    25 * Document panel: simplied interaction where every single mouse click
    25 * Document panel: simplied interaction where every single mouse click
    26 (re)opens document via desktop environment or as jEdit buffer.
    26 (re)opens document via desktop environment or as jEdit buffer.
    27 
    27 
    28 
    28 
    29 *** HOL ***
    29 *** HOL ***
       
    30 
       
    31 * Theorem disambiguation Inf_le_Sup (on finite sets) ~> Inf_fin_le_Sup_fin.
       
    32 INCOMPATBILITY.
    30 
    33 
    31 * Code generations are provided for make, fields, extend and truncate
    34 * Code generations are provided for make, fields, extend and truncate
    32 operations on records.
    35 operations on records.
    33 
    36 
    34 * Qualified constant names Wellfounded.acc, Wellfounded.accp.
    37 * Qualified constant names Wellfounded.acc, Wellfounded.accp.