February 2014 Archives by subject

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

Starting: Fri Feb 14 13:13:32 UTC 2014
Ending: Tue Feb 25 22:14:48 UTC 2014
Messages: 9

• [opentheory-users] Description of the project goals   Rob Arthan
• [opentheory-users] Description of the project goals   Joe Leslie-Hurd
• [opentheory-users] new_specification   Ramana Kumar
• [opentheory-users] new_specification   Joe Leslie-Hurd
• [opentheory-users] Scalable LCF-style proof translation   Ramana Kumar
• [opentheory-users] Scalable LCF-style proof translation   Joe Leslie-Hurd
• [opentheory-users] Type variable names   Rob Arthan
• [opentheory-users] Type variable names   Joe Leslie-Hurd
• [opentheory-users] Type variable names   Rob Arthan

Last message date: Tue Feb 25 22:14:48 UTC 2014
Archived on: Tue Feb 25 22:14:57 UTC 2014

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