# isabelle_session_info

session_name: HOL-MicroJava
sources: 872fb1a4c9fc4cea415cac00ecb0e71931ac6ad9
input_heaps:
a3552ca70c14a200e457e2d73beea6524b2fc2a1
164d22ba20000019059cff6c55d56e309bc197cd
960ff11ca3f4685d99e0b8518ac9b964ef849b56


