# isabelle_session_info

session_name: HOL-UNITY
sources: d8aa2e0fefe7d2230250d79f7d21f6f4a1b600cc
input_heaps:
72cca0904208fa240fb772d4d14dff23ebcd0242
8f015da9fb20bea689bd130164efacd685956ac0
25c8e78f4a89f9d7fad0c4866d60db094405bb24
536511d6bca174a105e37438768464cfdb117c3a


