Converted specification to Latex.
Removed lyx files from repository