Has anyone ever developed theories with Isabelle HOL regarding Bayesian statistics ?? Thanks, David -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20110925/63df3d0d/attachment.html>