# isabelle_session_info

session_name: HOL-MicroJava
sources: 0ce946b43aaae86c84ddf00dbde19de31f92dbe0
input_heaps:
fa50210ddf8b9b3fedb0ce42921cb5ad72fecc9a
cb2feb7ec86e7bb71a050fa9d8083329b2967ec4
e736098506d9027c514b98e24c394bfef3417db2


