Thu, 30 Nov 2017 16:59:59 +0100 | eberlm | Existence of a holomorphic logarithm | changeset | files |
Wed, 29 Nov 2017 10:32:42 +0100 | wenzelm | tuned; | changeset | files |
Wed, 29 Nov 2017 10:27:56 +0100 | wenzelm | clarified dependencies: "isabelle build -S" should be invariant wrt. change of ML system or platform; | changeset | files |