On 11/05/18 14:12, Lars Hupel wrote:
>> Last known good state is:
>>
>> Isabelle/7e349d1e3c95
>> AFP/c3cfeceda7a0
>
> We're back to normal now, as of
>
> Isabelle/58c9231c2937
> AFP/79f64c92d5ae
Great. I had already started some experiments, but they were inconclusive.
Just for the record, the relevant point seems to be
changeset: 9230:b0febe244fbc
user: paulson <l...@cam.ac.uk>
date: Fri May 11 12:12:01 2018 +0100
files:
thys/Ordinary_Differential_Equations/Numerics/Refine_Rigorous_Numerics.thy
description:
fix to nonterminating proof
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
