[isabelle-dev] HOL-Probability broken

Makarius makarius at sketis.net
Wed Mar 18 15:52:33 CET 2015

On Tue, 17 Mar 2015, Larry Paulson wrote:

> I’ve pushed a correction to that particular problem.

That version f41a2f77ab1b looks fine.

> I’ve no time to verify that there are no further problems. Sorry again.

New further problems emerge in 5b762cd73a8e: total existence failure due 
to missing file Complex_Transcendental.thy.


More information about the isabelle-dev mailing list