November 2010 Archives by date

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

Starting: Mon Nov 29 16:09:40 PST 2010
Ending: Mon Nov 29 18:03:38 PST 2010
Messages: 3

• [hofa] Breitner formalization of Shivers' diss in Isabelle   David Van Horn
• [hofa] Breitner formalization of Shivers' diss in Isabelle   Matt Might
• [hofa] Breitner formalization of Shivers' diss in Isabelle   Matthias Felleisen

Last message date: Mon Nov 29 18:03:38 PST 2010
Archived on: Mon Nov 29 18:14:35 PST 2010

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