equal
deleted
inserted
replaced
70 |
70 |
71 * Update to jedit-5.4.0. |
71 * Update to jedit-5.4.0. |
72 |
72 |
73 |
73 |
74 *** HOL *** |
74 *** HOL *** |
|
75 |
|
76 * "sublist" from theory List renamed to "nths" in analogy with "nth". |
|
77 "sublisteq" renamed to "subseq". Minor INCOMPATIBILITY. |
75 |
78 |
76 * Theories "GCD" and "Binomial" are already included in "Main" (instead |
79 * Theories "GCD" and "Binomial" are already included in "Main" (instead |
77 of "Complex_Main"). |
80 of "Complex_Main"). |
78 |
81 |
79 * Constants E/L/F in Library/Formal_Power_Series were renamed to |
82 * Constants E/L/F in Library/Formal_Power_Series were renamed to |