[isabelle-dev] HOL-Probability broken

[Larry Paulson]

Within HOL-SPARK. Example attached.
Larry

> On 19 Mar 2015, at 15:21, Makarius <makarius at sketis.net> wrote:
> 
> I've never seen such *.prv files.  Where are they coming from?
-------------- next part --------------
A non-text attachment was scrubbed...
Name: rmd.zip
Type: application/zip
Size: 35412 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20150319/ae29aab9/attachment-0002.zip>