[isabelle-dev] HOL broken?

Dmitriy Traytel traytel at in.tum.de
Tue Nov 11 18:10:11 CET 2014

Previous message (by thread): [isabelle-dev] Algebra and number theory in Isabelle/HOL
Next message (by thread): [isabelle-dev] HOL broken?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

http://isabelle.in.tum.de/reports/Isabelle/report/60d6105dac94411c8f55ea7626a15c71

anybody taking care of this?

Dmitriy

Previous message (by thread): [isabelle-dev] Algebra and number theory in Isabelle/HOL
Next message (by thread): [isabelle-dev] HOL broken?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list