equal
deleted
inserted
replaced
231 of Formal power series. |
231 of Formal power series. |
232 |
232 |
233 * Session HOL-Number_Theory: More material on residue rings in |
233 * Session HOL-Number_Theory: More material on residue rings in |
234 Carmichael's function, primitive roots, more properties for "ord". |
234 Carmichael's function, primitive roots, more properties for "ord". |
235 |
235 |
236 * Session HOL-Analysis: More material and better organization. |
236 * Session HOL-Analysis: Better organization and much more material, |
|
237 including algebraic topology. |
|
238 |
|
239 * Session HOL-Algebra: Much more material on group theory. |
237 |
240 |
238 * Session HOL-SPARK: .prv files are no longer written to the |
241 * Session HOL-SPARK: .prv files are no longer written to the |
239 file-system, but exported to the session database. Results may be |
242 file-system, but exported to the session database. Results may be |
240 retrieved via "isabelle build -e HOL-SPARK-Examples" on the |
243 retrieved via "isabelle build -e HOL-SPARK-Examples" on the |
241 command-line. |
244 command-line. |