July 2013 Archives by thread

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

Starting: Tue Jul 23 09:37:46 UTC 2013
Ending: Wed Jul 31 21:49:11 UTC 2013
Messages: 8

• [opentheory-users] Scalable LCF-style proof translation   Ramana Kumar
  • [opentheory-users] Scalable LCF-style proof translation   Ramana Kumar
    • [opentheory-users] Scalable LCF-style proof translation   Joe Leslie-Hurd
      • [opentheory-users] Scalable LCF-style proof translation   Ramana Kumar
      • [opentheory-users] Scalable LCF-style proof translation   Joe Leslie-Hurd
      • [opentheory-users] Scalable LCF-style proof translation   Alexander Krauss
• [opentheory-users] Problems with the hol light Open Theory support   Rob Arthan
  • [opentheory-users] Problems with the hol light Open Theory support   Joe Leslie-Hurd

Last message date: Wed Jul 31 21:49:11 UTC 2013
Archived on: Wed Jul 31 21:50:41 UTC 2013

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