Re: Mutual recursion seems to be broken

[Chris Warburton]

Whoops! Looks like the problem was the way we were parsing out names and
types from the Isabelle; mutual definitions were there, but we weren't
spotting more than the first one.

This is now fixed, so the only functions which are "missing" are those
which we've purposely stripped out because they use "polyrec".