isabelle: Changelog

wenzelm [Fri, 09 Feb 2018 11:14:13 +0100] rev 67580

more robust access to shared libraries for poly executable: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses);

eberlm <eberlm@in.tum.de> [Thu, 08 Feb 2018 15:15:01 +0100] rev 67579

Merged

Manuel Eberl <eberlm@in.tum.de> [Thu, 08 Feb 2018 09:19:28 +0100] rev 67578

Some lemmas about complex sinh/cosh/tanh

immler [Thu, 08 Feb 2018 11:48:02 +0100] rev 67577

more elementary proof of connected_Times, earlier

nipkow [Thu, 08 Feb 2018 08:59:28 +0100] rev 67576

merged

nipkow [Thu, 08 Feb 2018 08:59:16 +0100] rev 67575

tuned

eberlm <eberlm@in.tum.de> [Wed, 07 Feb 2018 18:08:12 +0100] rev 67574

Added hyperbolic functions

immler [Mon, 05 Feb 2018 08:30:19 +0100] rev 67573

added lemmas, avoid 'float_of 0'

wenzelm [Sat, 03 Feb 2018 20:46:28 +0100] rev 67572

clarified signature;

wenzelm [Sat, 03 Feb 2018 20:34:26 +0100] rev 67571

more uniform treatment of formal comments within document source; more robust nesting;

isabelle