# isabelle_session_info

session_name: HOL-MicroJava
sources: 3d18e3373d3c8e900e4efbb23afe762cdbef5be1
input_heaps:
7550c920b2cc9944a8020bbe3af6b1258b7cd4a3
0dc49aec3e6c5b3bfd95bfc9315d5a2b5d8f359f
27d9d6c7462edf67ad4b309fcda8a163b77926fc


