src/HOL/MicroJava/JVM/JVMListExample.thy
2001-12-10 berghofe 2001-12-10 Example for code generator.