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