Fri, 19 Aug 2016 11:56:12 +0200 | nipkow | replaced the confusing int parameter by bool | changeset | files |
Thu, 18 Aug 2016 18:11:45 +0200 | hoelzl | remove spurious find_theorems | changeset | files |
Thu, 18 Aug 2016 11:00:36 +0200 | hoelzl | HOL-Probability: Projective_Limit was missing (cf. 44ce6b524ff3); tuned | changeset | files |