equal
deleted
inserted
replaced
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. |