# isabelle_session_info

session_name: HOL-UNITY
sources: 7d95ac4d9e70ed8af0dffd0c4b0b7c43203241ed
input_heaps:
5dc24187b4e0df60f9621177f28d9a6d6e19dc92
078a3b8dc919d1598856aad1a05d175f1dff501a
15f8de1cca05f108f7a5fd77887313dfc0dc0af1


