Initial checkin of tex generated by lyx