March 2007 Archives by author

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

Starting: Sun Mar 4 15:15:16 CST 2007
Ending: Wed Mar 21 19:52:10 CDT 2007
Messages: 5

• [bitc-dev] Programming with theorem proving: Concoqtion   Sandro Magi
• [bitc-dev] BitC has a new home   Jonathan S. Shapiro
• [bitc-dev] Simplified defrepr   Jonathan S. Shapiro
• [bitc-dev] Simplified defrepr   Jonathan S. Shapiro
• [bitc-dev] Simplified defrepr   Swaroop Sridhar

Last message date: Wed Mar 21 19:52:10 CDT 2007
Archived on: Wed Mar 21 19:52:16 CDT 2007

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