June 2015 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Tue Jun 2 20:17:39 CEST 2015
Ending: Tue Jun 30 19:34:46 CEST 2015
Messages: 110

• [isabelle-dev] Infix syntax for division?   Jasmin Blanchette
• [isabelle-dev] Deprecating legacy ASCII symbols?   Jasmin Blanchette
• [isabelle-dev] Deprecating legacy ASCII symbols?   Jasmin Blanchette
• [isabelle-dev] Remaining uses of defer_recdef?   Amine Chaieb
• [isabelle-dev] Deprecating legacy ASCII symbols?   C. Diekmann
• [isabelle-dev] Infix syntax for division?   Manuel Eberl
• [isabelle-dev] »real« considered harmful   Manuel Eberl
• [isabelle-dev] »real« considered harmful   Manuel Eberl
• [isabelle-dev] Euclidean Ring   Manuel Eberl
• [isabelle-dev] Euclidean Ring   Manuel Eberl
• [isabelle-dev] Infix syntax for division?   Florian Haftmann
• [isabelle-dev] »real« considered harmful   Florian Haftmann
• [isabelle-dev] Infix syntax for division?   Florian Haftmann
• [isabelle-dev] Infix syntax for division?   Florian Haftmann
• [isabelle-dev] Remaining uses of defer_recdef?   Florian Haftmann
• [isabelle-dev] »real« considered harmful   Florian Haftmann
• [isabelle-dev] »real« considered harmful   Florian Haftmann
• [isabelle-dev] »real« considered harmful   Florian Haftmann
• [isabelle-dev] »real« considered harmful   Florian Haftmann
• [isabelle-dev] Remaining uses of defer_recdef?   Florian Haftmann
• [isabelle-dev] Remaining uses of defer_recdef?   Florian Haftmann
• [isabelle-dev] Remaining uses of defer_recdef?   Florian Haftmann
• [isabelle-dev] Remaining uses of defer_recdef?   Florian Haftmann
• [isabelle-dev] Remaining uses of defer_recdef?   Florian Haftmann
• [isabelle-dev] Problem in AFP near 16e7d42ef7f4   Florian Haftmann
• [isabelle-dev] Problem in AFP near 16e7d42ef7f4   Florian Haftmann
• [isabelle-dev] Problem in AFP near 16e7d42ef7f4   Florian Haftmann
• [isabelle-dev] Euclidean Ring   Florian Haftmann
• [isabelle-dev] Euclidean Ring   Florian Haftmann
• [isabelle-dev] »real« considered harmful   Johannes Hölzl
• [isabelle-dev] »real« considered harmful   Johannes Hölzl
• [isabelle-dev] NEWS: structured Isar goal statements   Johannes Hölzl
• [isabelle-dev] »real« considered harmful   Fabian Immler
• [isabelle-dev] Remaining uses of defer_recdef?   Gerwin Klein
• [isabelle-dev] Remaining uses of defer_recdef?   Andreas Lochbihler
• [isabelle-dev] Remaining uses of defer_recdef?   Makarius
• [isabelle-dev] Remaining uses of defer_recdef?   Makarius
• [isabelle-dev] Remaining uses of defer_recdef?   Makarius
• [isabelle-dev] Remaining uses of defer_recdef?   Makarius
• [isabelle-dev] Remaining uses of defer_recdef?   Makarius
• [isabelle-dev] Fwd: isabelle test failed   Makarius
• [isabelle-dev] NEWS: improved type-inference for 'obtains'   Makarius
• [isabelle-dev] NEWS: structured Isar goal statements   Makarius
• [isabelle-dev] NEWS: 'consider' command and "cases" method   Makarius
• [isabelle-dev] NEWS: 'supply' command   Makarius
• [isabelle-dev] NEWS: improved 'obtain' with 'is' patterns   Makarius
• [isabelle-dev] NEWS: structured Isar goal statements   Makarius
• [isabelle-dev] »real« considered harmful   Makarius
• [isabelle-dev] »real« considered harmful   Makarius
• [isabelle-dev] NEWS: nesting of Isar goal structure   Makarius
• [isabelle-dev] NEWS: proof method "sleep"   Makarius
• [isabelle-dev] NEWS: structured Isar goal statements (update)   Makarius
• [isabelle-dev] NEWS: clarified 'case' command   Makarius
• [isabelle-dev] NEWS: clarified 'case' command   Makarius
• [isabelle-dev] Fwd: isabelle test failed   Makarius
• [isabelle-dev] NEWS: structured Isar goal statements (update)   Makarius
• [isabelle-dev] NEWS: cases from goals   Makarius
• [isabelle-dev] Fwd: isabelle test failed   Makarius
• [isabelle-dev] NEWS: cases from goals   Makarius
• [isabelle-dev] Deprecating legacy ASCII symbols?   Makarius
• [isabelle-dev] NEWS: improved scheduling for urgent print tasks   Makarius
• [isabelle-dev] Deprecating legacy ASCII symbols?   Makarius
• [isabelle-dev] Deprecating legacy ASCII symbols?   Makarius
• [isabelle-dev] Deprecating legacy ASCII symbols?   Makarius
• [isabelle-dev] NEWS: cases from goals   Makarius
• [isabelle-dev] NEWS: standard proof method   Makarius
• [isabelle-dev] Infix syntax for division?   Tobias Nipkow
• [isabelle-dev] »real« considered harmful   Tobias Nipkow
• [isabelle-dev] »real« considered harmful   Tobias Nipkow
• [isabelle-dev] Remaining uses of defer_recdef?   Tobias Nipkow
• [isabelle-dev] Remaining uses of defer_recdef?   Tobias Nipkow
• [isabelle-dev] Remaining uses of defer_recdef?   Tobias Nipkow
• [isabelle-dev] Remaining uses of defer_recdef?   Tobias Nipkow
• [isabelle-dev] Remaining uses of defer_recdef?   Tobias Nipkow
• [isabelle-dev] Fwd: test failed (Archive of Formal Proofs)   Tobias Nipkow
• [isabelle-dev] Deprecating legacy ASCII symbols?   Tobias Nipkow
• [isabelle-dev] NEWS: structured Isar goal statements   Lars Noschinski
• [isabelle-dev] »real« considered harmful   Lars Noschinski
• [isabelle-dev] Isabelle services not available this weekend (2015-07-03 to 2015-07-06)   Lars Noschinski
• [isabelle-dev] Deprecating legacy ASCII symbols?   Lars Noschinski
• [isabelle-dev] NEWS: cases from goals   Lars Noschinski
• [isabelle-dev] »real« considered harmful   Larry Paulson
• [isabelle-dev] Infix syntax for division?   Larry Paulson
• [isabelle-dev] »real« considered harmful   Larry Paulson
• [isabelle-dev] Remaining uses of defer_recdef?   Larry Paulson
• [isabelle-dev] »real« considered harmful   Larry Paulson
• [isabelle-dev] Remaining uses of defer_recdef?   Larry Paulson
• [isabelle-dev] »real« considered harmful   Larry Paulson
• [isabelle-dev] Remaining uses of defer_recdef?   Larry Paulson
• [isabelle-dev] Remaining uses of defer_recdef?   Larry Paulson
• [isabelle-dev] Remaining uses of defer_recdef?   Larry Paulson
• [isabelle-dev] Remaining uses of defer_recdef?   Larry Paulson
• [isabelle-dev] Remaining uses of defer_recdef?   Larry Paulson
• [isabelle-dev] Remaining uses of defer_recdef?   Larry Paulson
• [isabelle-dev] Fwd: isabelle test failed   Larry Paulson
• [isabelle-dev] Fwd: test failed (Archive of Formal Proofs)   Larry Paulson
• [isabelle-dev] »real« considered harmful   Larry Paulson
• [isabelle-dev] »real« considered harmful   Larry Paulson
• [isabelle-dev] Problem in AFP near 16e7d42ef7f4   Larry Paulson
• [isabelle-dev] Fwd: [isabelle] find_theorems and locales   Larry Paulson
• [isabelle-dev] Problem in AFP near 16e7d42ef7f4   Larry Paulson
• [isabelle-dev] Fwd: isabelle test failed   Larry Paulson
• [isabelle-dev] NEWS: cases from goals   Larry Paulson
• [isabelle-dev] Deprecating legacy ASCII symbols?   Larry Paulson
• [isabelle-dev] Remaining uses of defer_recdef?   Thomas Sewell
• [isabelle-dev] Remaining uses of defer_recdef?   Dmitriy Traytel
• [isabelle-dev] Remaining uses of defer_recdef?   Dmitriy Traytel
• [isabelle-dev] »real« considered harmful   Dmitriy Traytel
• [isabelle-dev] »real« considered harmful   Dmitriy Traytel
• [isabelle-dev] Fwd: isabelle test failed   Dmitriy Traytel

Last message date: Tue Jun 30 19:34:46 CEST 2015
Archived on: Fri Apr 12 08:42:21 CEST 2019

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...