Added .lyx file and v1.1 of specification