# isabelle_session_info

session_name: HOL-UNITY
sources: 8beee256b69047f3c9d6291cb1f3412eedac57b2
input_heaps:
960aa29045dac4afcbcc06ca53439cc870a14802
5c73c0af1bf02f2fdf45f168079bb297a1f3e53b
2daf3308f31b908b8ffa4eed2a7604138ee2d69d


