This site has moved

http://dfcurran.com/logic/software.html

please click here to go there.