Module Java


Section Java.
  Require Import String.

Java programs are in serialized form
  Definition java := string.
  
End Java.

Generated by coq2html