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 |
Thu, 18 Aug 2016 13:12:53 +0200 | traytel | removed debug output | changeset | files |