# isabelle_session_info

session_name: HOL-MicroJava
sources: 37892b01e2bce69bc21bb59a3d93b1ca52a90b11
input_heaps:
c64ea230285d7909ea4e291e0600b2281f3ec163
59813e7197c2ea57d24442f5882cad1d37e3a900
d45c7088d2de1bb843aafb52938f57f7c4df9015


