isabelle: Changelog

Manuel Eberl <eberlm@in.tum.de> [Thu, 25 Aug 2016 17:17:23 +0200] rev 63722

Deprivatisation of lemmas in Polynomial_Factorial

Manuel Eberl <eberlm@in.tum.de> [Thu, 25 Aug 2016 15:50:43 +0200] rev 63721

More analysis lemmas

nipkow [Wed, 24 Aug 2016 11:02:23 +0200] rev 63720

added lemma

traytel [Tue, 23 Aug 2016 15:19:32 +0200] rev 63719

tuned signature

nipkow [Fri, 19 Aug 2016 11:56:12 +0200] rev 63718

replaced the confusing int parameter by bool

hoelzl [Thu, 18 Aug 2016 18:11:45 +0200] rev 63717

remove spurious find_theorems

hoelzl [Thu, 18 Aug 2016 11:00:36 +0200] rev 63716

HOL-Probability: Projective_Limit was missing (cf. 44ce6b524ff3); tuned

traytel [Thu, 18 Aug 2016 13:12:53 +0200] rev 63715

removed debug output

traytel [Thu, 18 Aug 2016 11:10:07 +0200] rev 63714

derive pred_mono property for BNFs

eberlm <eberlm@in.tum.de> [Wed, 17 Aug 2016 16:16:38 +0200] rev 63713

Tuned L'Hospital

isabelle