1 (* Title: HOL/Bali/Value.thy
2 ID: $Id$
3 Author: David von Oheimb
2 Author: David von Oheimb
4 *)
3 *)
5 header {* Java values *}
4 header {* Java values *}
6
5
7