Mon, 07 Mar 2016 15:57:02 +0000 | paulson | complex_differentiable -> field_differentiable, etc. (making these theorems also available for type real) | changeset | files |
Mon, 07 Mar 2016 14:34:45 +0000 | paulson | new material to Blochj's theorem, as well as supporting lemmas | changeset | files |
Mon, 07 Mar 2016 08:14:18 +0100 | traytel | merged | changeset | files |
Sun, 06 Mar 2016 20:39:19 +0100 | traytel | less resetting of local theories | changeset | files |
Sun, 06 Mar 2016 18:15:09 +0100 | wenzelm | avoid redundant escapes; | changeset | files |
Sun, 06 Mar 2016 16:19:02 +0100 | wenzelm | clarified treatment of fragments of Isabelle symbols during bootstrap; | changeset | files |