# isabelle_session_info

session_name: HOL-MicroJava
sources: ee545f2991b8052bcd7018e4b7c036381115e820
input_heaps:
10764ddc346d5177be378b761316527db367ec3e
a0b11f9c133aa49ac228f451be8e515f846bafaf
4da24bdea1ed8db5820c4f29605d314f12cdfffe


