[isabelle-dev] auto raises a TYPE exception
berghofe at in.tum.de
Fri Apr 12 14:42:27 CEST 2013
On 04/12/2013 02:18 PM, Makarius wrote:
> It looks like I need to discuss it further with Stefan Berghofer, because he made some reforms there in 2005 that now seem to crash on us.
thanks for the example. Please note that I am on holiday the following two weeks, so it'll
take some time until I can take a closer look at the problem.
More information about the isabelle-dev