# isabelle_session_info

session_name: HOL-MicroJava
sources: ca5d937fb1ca7d329e5cd2c042fae5d62851d041
input_heaps:
a2d5ff19f237a41b43ba3fc24c0e51d3bf4451ff
46bd800d1ac554aa3326cc80d35350ac7980d5d8
2da34adfe87548dd1ef92966e296d93abe94ecad


