December 2014 Archives by thread

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

Starting: Mon Dec 1 23:32:12 UTC 2014
Ending: Thu Dec 25 13:01:32 UTC 2014
Messages: 7

• [opentheory-users] Version 6 of the OpenTheory article file format standard   Joe Leslie-Hurd
  • [opentheory-users] Version 6 of the OpenTheory article file format standard   Michael Norrish
    • [opentheory-users] Version 6 of the OpenTheory article file format standard   Joe Leslie-Hurd
• [opentheory-users] extracting intermediate theorems   Ramana Kumar
  • [opentheory-users] extracting intermediate theorems   Joe Leslie-Hurd
    • [opentheory-users] extracting intermediate theorems   Ramana Kumar
• [opentheory-users] duplicate assumptions for "thm"   Ramana Kumar

Last message date: Thu Dec 25 13:01:32 UTC 2014
Archived on: Thu Dec 25 13:02:19 UTC 2014

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