April 2011 Archives by thread

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

Starting: Mon Apr 4 01:26:55 CEST 2011
Ending: Tue Apr 26 18:09:54 CEST 2011
Messages: 17

• [isabelle-dev] AFP status page   Gerwin Klein
• [isabelle-dev] I'd like to better understand some operations from Local_Theory.   Thomas Sewell
  • [isabelle-dev] I'd like to better understand some operations from Local_Theory.   Makarius
• [isabelle-dev] Fwd: status (AFP)   Gerwin Klein
  • [isabelle-dev] Fwd: status (AFP)   Lukas Bulwahn
    • [isabelle-dev] Fwd: status (AFP)   Makarius
    • [isabelle-dev] Fwd: status (AFP)   Gerwin Klein
    • [isabelle-dev] Fwd: status (AFP)   Stefan Berghofer
      • [isabelle-dev] Fwd: status (AFP)   Lukas Bulwahn
• [isabelle-dev] ctxt --?--> simplifier   Walther Neuper
  • [isabelle-dev] ctxt --?--> simplifier   Lars Noschinski
  • [isabelle-dev] ctxt --?--> simplifier   Makarius
• [isabelle-dev] Transition   John Matthews
• [isabelle-dev] [scala-announce] Programming in Scala, First Edition, Online (fwd)   Makarius
• [isabelle-dev] Workshop on Mathematical Wikis at ITP 2011 (Nijmegen, NL, August 27; abstract submission May 30)   Cezary Kaliszyk
• [isabelle-dev] Data structures in HOL-Library   Lukas Bulwahn
• [isabelle-dev] Google Summer of Code: accepted students   Sascha Boehme

Last message date: Tue Apr 26 18:09:54 CEST 2011
Archived on: Fri Apr 12 08:42:12 CEST 2019

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