The Darwin theorem prover web page has moved.
You will automatically be redireced to the new location, http://goedel.cs.uiowa.edu/Darwin/.