UU_Offside.hs -- branch: Positive

   Existing Tags:
	Positive                 	(branch: 1.3.2)