# isabelle_session_info

session_name: HOL-UNITY
sources: efb805d9ccf27dd905add82534915b5873a5b790
input_heaps:
11861b433be89e5105729bae76faf9d9dce00490
3d74222e1a7d520ad3d0b356e7a30f85999b0fbb
82cee715e1ea958a3862cb4ac533cd73415f99ec


