[isabelle-dev] AFP/Group-Ring-Module

Makarius makarius at sketis.net
Mon Mar 17 18:07:34 CET 2008

On Mon, 17 Mar 2008, Tobias Nipkow wrote:

> When I run AFP/Group-Ring-Module, it fails:
> *** empty result sequence -- proof command failed
> *** At command "apply" (line 6032 of 
> "/mnt/home/nipkow/AFP/afp-devel/thys/Group-Ring-Module/Algebra1.thy").
> I don't think this is caused by my own change but must have been there 
> for a couple of days. (It seems like the daily AFP test is not working 
> at the moment.)

I have almost isolated that problem.  Stay tuned.


More information about the isabelle-dev mailing list