# isabelle_session_info

session_name: HOL-UNITY
sources: f75c3c9a2d4ca1bff80c2381196b7bd1a086e111
input_heaps:
9ea718305cd1fd52d6423d9576c9d8a397701153
78fa00d6c63010d9371bd27168edaa8f7fa59ce9
0579acf7658ef201518c7e22f364e7b94e110274


