equal
deleted
inserted
replaced
52 |
52 |
53 * HOL/NumberTheory (Thomas Rasmussen) |
53 * HOL/NumberTheory (Thomas Rasmussen) |
54 Fundamental Theorem of Arithmetic, Chinese Remainder Theorem, |
54 Fundamental Theorem of Arithmetic, Chinese Remainder Theorem, |
55 Fermat/Euler Theorem, Wilson's Theorem. |
55 Fermat/Euler Theorem, Wilson's Theorem. |
56 |
56 |
57 * HOL/Real (Jacques Fleuriot) |
|
58 More on nonstandard real analysis. |
|
59 |
|
60 * HOL/Prolog (David von Oheimb) |
57 * HOL/Prolog (David von Oheimb) |
61 A (bare-bones) implementation of Lambda-Prolog. |
58 A (bare-bones) implementation of Lambda-Prolog. |
62 |
59 |
|
60 * HOL/Real (Jacques Fleuriot) |
|
61 More on nonstandard real analysis. |
63 |
62 |
64 |
63 |
65 See the NEWS file distributed with Isabelle for more details. |
64 See the NEWS file distributed with Isabelle for more details. |
66 |
65 |
67 |
66 |