diff -r f46c902a8438 -r 05a82b4bccbc src/HOL/MicroJava/J/Term.thy