clean up

Changed notations .1 .2 to :1 :2 for ease of typing in proof general.