[isabelle-dev] Problem in AFP/Ordinary_Differential_Equations

Johannes Hölzl hoelzl at in.tum.de
Tue Nov 5 21:45:38 CET 2013

Previous message (by thread): [isabelle-dev] Problem in AFP/Ordinary_Differential_Equations
Next message (by thread): [isabelle-dev] Coinductive FAILED
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

solved in afp id 03689082b646

Am Dienstag, den 05.11.2013, 19:09 +0100 schrieb Florian Haftmann:
> isabelle id 9d623cada37f
> afp id 68e8895167cc

Previous message (by thread): [isabelle-dev] Problem in AFP/Ordinary_Differential_Equations
Next message (by thread): [isabelle-dev] Coinductive FAILED
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list