On Thu, Aug 25, 2011 at 1:45 PM, Florian Haftmann <florian.haftm...@informatik.tu-muenchen.de> wrote: > HOL-Probability FAILED
This is now fixed in the main repo; the following changeset should be merged back into isabelle_set: http://isabelle.in.tum.de/repos/isabelle/rev/c10485a6a7af _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
