  Structural induction is a proof technique that is widely used to prove
statements about discrete structures. Students find it hard to construct
inductive proofs, and when learning to construct such proofs, receiving
feedback is important. In this paper we discuss the design of a tutoring
system, LogInd, that helps students with constructing stepwise inductive proofs
by providing hints, next steps and feedback. As far as we know, this is the
first tutoring system for structural induction with this functionality. We
explain how we use a strategy to construct proofs for a restricted class of
problems. This strategy can also be used to complete partial student solutions,
and hence to provide hints or next steps. We use constraints to provide
feedback. A pilot evaluation with a small group of students shows that LogInd
indeed can give hints and next steps in almost all cases.
