[isabelle-dev] Possible non-determinism in HOL-ODE-Numerics

Lars Hupel hupel at in.tum.de
Fri May 11 14:12:13 CEST 2018

Previous message (by thread): [isabelle-dev] Possible non-determinism in HOL-ODE-Numerics
Next message (by thread): [isabelle-dev] Possible non-determinism in HOL-ODE-Numerics
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> Last known good state is:
> 
> Isabelle/7e349d1e3c95
> AFP/c3cfeceda7a0

We're back to normal now, as of

Isabelle/58c9231c2937
AFP/79f64c92d5ae

Previous message (by thread): [isabelle-dev] Possible non-determinism in HOL-ODE-Numerics
Next message (by thread): [isabelle-dev] Possible non-determinism in HOL-ODE-Numerics
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list