src/HOL/MicroJava/J/JBasis.thy
changeset 20083 717b1eb434f1
parent 18576 8d98b7711e47
child 24783 5a3e336a2e37