# isabelle_session_info

session_name: HOL-UNITY
sources: ea2f0287d71a21f43caac9537c4c36bb393accd3
input_heaps:
4332e5487bfb4ad6b6035d467f295f79a146463f
e78c7f04815e9fc5fe2da76f8959bd79f85ddf4e
359e5242fc8c9e1900e99b8419e9046969d6c21b
b5d2d7fd7f5775f73a4a68387f596cac1ff4d719


