# isabelle_session_info

session_name: HOL-UNITY
sources: 4dfeaeace468d984e4e2ed5553e40f9b54d60e1f
input_heaps:
98b9b9cd6f4fc2e11b47e8e3c434c3dc2faa1139
e2b5f42e7f98c0b995b852b6808f2b8140132ac5
41715460ea115e371312142689b3af6c2013a20d
9a10a6adc089953069cee14ed92d49fef971e1d7


