August 2015 Archives by date

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

Starting: Thu Aug 6 14:30:39 UTC 2015
Ending: Mon Aug 31 05:24:29 UTC 2015
Messages: 17

• [opentheory-users] defineTypeOp underspecified? / opentheory be used as a proof verifier   Günter Rote
• [opentheory-users] defineTypeOp underspecified? / opentheory be used as a proof verifier   Ramana Kumar
• [opentheory-users] defineTypeOp underspecified? / opentheory be used as a proof verifier   Joe Leslie-Hurd
• [opentheory-users] definition of "new" constants?   Günter Rote
• [opentheory-users] definition of "new" constants?   Ramana Kumar
• [opentheory-users] definition of "new" constants?   Joe Leslie-Hurd
• [opentheory-users] definition of "new" constants?   Günter Rote
• [opentheory-users] Definition of "term" (plus other issues)   Joe Leslie-Hurd
• [opentheory-users] definition of "new" constants?   Joe Leslie-Hurd
• [opentheory-users] definition of "new" constants? / processing of packages   Günter Rote
• [opentheory-users] definition of "new" constants? / processing of packages   Ramana Kumar
• [opentheory-users] definition of "new" constants? / processing of packages   Joe Leslie-Hurd
• [opentheory-users] format of opentheory parameters   Joe Leslie-Hurd
• [opentheory-users] format of opentheory parameters   Joe Leslie-Hurd
• [opentheory-users] definition of "new" constants?   Joe Leslie-Hurd
• [opentheory-users] definition of "new" constants? / defineTypeOp rule   Joe Leslie-Hurd
• [opentheory-users] importer for Isabelle   Ramana Kumar

Last message date: Mon Aug 31 05:24:29 UTC 2015
Archived on: Mon Aug 31 05:25:04 UTC 2015

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