January 2015 Archives by thread

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

Starting: Fri Jan 2 08:15:55 UTC 2015
Ending: Thu Jan 8 21:44:35 UTC 2015
Messages: 17

• [opentheory-users] duplicate assumptions for "thm"   Joe Leslie-Hurd
• [opentheory-users] extracting intermediate theorems   Joe Leslie-Hurd
  • [opentheory-users] extracting intermediate theorems   Ramana Kumar
    • [opentheory-users] extracting intermediate theorems   Joe Leslie-Hurd
• [opentheory-users] Preprint of OT->Metamath conversion paper, thoughts on MM->OT conversion   Mario Carneiro
  • [opentheory-users] Preprint of OT->Metamath conversion paper, thoughts on MM->OT conversion   Joe Leslie-Hurd
    • [opentheory-users] Preprint of OT->Metamath conversion paper, thoughts on MM->OT conversion   Mario Carneiro
• [opentheory-users] Embedding Z (or other ZFC fragments) in HOL   Mario Carneiro
  • [opentheory-users] Embedding Z (or other ZFC fragments) in HOL   Roger Bishop Jones
    • [opentheory-users] Embedding Z (or other ZFC fragments) in HOL   Freek Wiedijk
    • [opentheory-users] Embedding Z (or other ZFC fragments) in HOL   Thomas Forster
    • [opentheory-users] Embedding Z (or other ZFC fragments) in HOL   Ramana Kumar
  • [opentheory-users] Embedding Z (or other ZFC fragments) in HOL   Roger Jones
  • [opentheory-users] [FOM] Embedding Z (or other ZFC fragments) in HOL   roux cody
    • [opentheory-users] [FOM] Embedding Z (or other ZFC fragments) in HOL   Mario Carneiro
  • [opentheory-users] [FOM] Embedding Z (or other ZFC fragments) in HOL   Josef Urban
  • [opentheory-users] Embedding Z (or other ZFC fragments) in HOL   Roger Jones

Last message date: Thu Jan 8 21:44:35 UTC 2015
Archived on: Thu Jan 8 21:44:44 UTC 2015

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