# isabelle_session_info

session_name: HOL-MicroJava
sources: 08456fdd08d5a30de32843db24bfdbd5e44cc2d0
input_heaps:
39fd57141f5956da5dc3f7b7eb06f36b9d32f6a7
945f328ae679b2c2573e1277807dc9c4099a3d18
a178155c1a0676d4dd3d5a192c4219c00b504cee


