diff -r f46c902a8438 -r 05a82b4bccbc src/HOL/MicroJava/Comp/NatCanonify.thy