Re: documentclass{sig-alternate}

[Anders Host-Madsen]

I found one LyX layout file at: 
http://krono.act.uji.es/people/ismael/lyx-templates-1

This helps, but it lacks theorems (which is
key to what I write). Any other suggestions?