c-parser: fix list sorting to use Isabelle code

This makes the licensing situation clearer than with the code coming
from Moscow ML (which might conceivably be GPL).