Sorry, the zip folder is not admitted by lyx-users list.
theorems.inc
Description: Binary data
theorems-ams.inc
Description: Binary data
theorems-ams-extended.module
Description: Binary data
theorems-chap.module
Description: Binary data
theorems-sec.module
Description: Binary data
theorems-starred.inc
Description: Binary data