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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev