The Induction Challenge Problems have moved

Please point your browser to http://www.cs.nott.ac.uk/~lad/research/challenges/index.html. Thank You.