SWiM has moved

Please go to http://swim.kwarc.info.