October 2012 Archives by author

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

Starting: Mon Oct 1 04:32:38 UTC 2012
Ending: Mon Oct 22 17:51:15 UTC 2012
Messages: 8

• [opentheory-users] Porting from HOL Light to HOL?   Maïssa ELLEUCH
• [opentheory-users] reading articles from standard input   Ramana Kumar
• [opentheory-users] a standalone tactic translating numeral encodings   Ramana Kumar
• [opentheory-users] reading articles from standard input   Joe Leslie-Hurd
• [opentheory-users] reading articles from standard input   Joe Leslie-Hurd
• [opentheory-users] a standalone tactic translating numeral encodings   Joe Leslie-Hurd
• [opentheory-users] Porting from HOL Light to HOL?   Joe Leslie-Hurd
• [opentheory-users] a standalone tactic translating numeral encodings   Michael Norrish

Last message date: Mon Oct 22 17:51:15 UTC 2012
Archived on: Mon Oct 22 17:51:22 UTC 2012

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