April 2011 Archives by subject

• Messages sorted by: [ thread ] [ 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] [scala-announce] Programming in Scala, First Edition, Online (fwd)   Makarius
• [isabelle-dev] AFP status page   Gerwin Klein
• [isabelle-dev] ctxt --?--> simplifier   Walther Neuper
• [isabelle-dev] ctxt --?--> simplifier   Lars Noschinski
• [isabelle-dev] ctxt --?--> simplifier   Makarius
• [isabelle-dev] Data structures in HOL-Library   Lukas Bulwahn
• [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] Google Summer of Code: accepted students   Sascha Boehme
• [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] Transition   John Matthews
• [isabelle-dev] Workshop on Mathematical Wikis at ITP 2011 (Nijmegen, NL, August 27; abstract submission May 30)   Cezary Kaliszyk

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

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