# isabelle_session_info

session_name: HOL-UNITY
sources: 1a6f77887cced830c987da2ca4ee633198050bfb
input_heaps:
e7baa8814deb267f0ca02ad6b2743dcfee70fead
79507b478ee4fa080e158552e88210395a584d64
2ebd4062f5399a2b8f72134e25e68166f2bf064d


