| Mon, 02 Jul 2018 22:40:25 +0100 | paulson | more algebra | changeset | files |
| Mon, 02 Jul 2018 21:45:35 +0100 | paulson | merged | changeset | files |
| Mon, 02 Jul 2018 21:45:10 +0100 | paulson | Hiding the constant "norm", lest it clash with the norm of a vector space | changeset | files |
| Mon, 02 Jul 2018 18:58:50 +0100 | paulson | more lemmas from Paulo | changeset | files |
| Mon, 02 Jul 2018 20:28:09 +0200 | wenzelm | merged | changeset | files |
| Mon, 02 Jul 2018 16:48:00 +0200 | wenzelm | updated for release; | changeset | files |
| Mon, 02 Jul 2018 16:43:06 +0200 | wenzelm | Added tag Isabelle2018-RC1 for changeset cf01d04e94d7 | changeset | files |
| Mon, 02 Jul 2018 16:20:03 +0100 | paulson | fixed (?) LaTeX presentation | changeset | files |