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