August 2013 Archives by thread

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

Starting: Thu Aug 1 09:03:03 UTC 2013
Ending: Mon Aug 12 16:56:14 UTC 2013
Messages: 19

• [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
    • [opentheory-users] Problems with the hol light Open Theory support   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   Alexander Krauss
    • [opentheory-users] Scalable LCF-style proof translation   Ramana Kumar
• [opentheory-users] Some comments on the article file format definition   Rob Arthan
  • [opentheory-users] Some comments on the article file format definition   Rob Arthan
    • [opentheory-users] Some comments on the article file format definition   Rob Arthan
    • [opentheory-users] Some comments on the article file format definition   Rob Arthan
  • [opentheory-users] Some comments on the article file format definition   Joe Leslie-Hurd
    • [opentheory-users] Some comments on the article file format definition   Rob Arthan
      • [opentheory-users] Some comments on the article file format definition   Joe Leslie-Hurd
• [opentheory-users] defineTypeOp   Rob Arthan
  • [opentheory-users] defineTypeOp   Joe Leslie-Hurd
• [opentheory-users] subst   Rob Arthan
  • [opentheory-users] subst   Ramana Kumar
    • [opentheory-users] subst   Joe Leslie-Hurd

Last message date: Mon Aug 12 16:56:14 UTC 2013
Archived on: Mon Aug 12 16:56:22 UTC 2013

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