[isabelle-dev] Regain AFP sanity

Tobias Nipkow nipkow at in.tum.de
Wed Jan 18 22:25:01 CET 2012


Yes, this is a very reasonable test.

Tobias

Am 18/01/2012 21:55, schrieb Makarius:
> BTW, this versions merely skips the really slow proofs of same4, same5,
> same6, but runs the fast one of same3 unconditionally.  Superficially
> this looks like a reasonable test.  Or is their significant information
> gained from attempting the slow proofs as well (say once a week or once
> a month)? Tobias should be able to say more about it.
> 
> 
>     Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev



More information about the isabelle-dev mailing list