# isabelle_session_info

session_name: HOL-UNITY
sources: 4e852467f217b7e584759792834bc16dbda4f560
input_heaps:
be278b232693c4457b48f35ed313988dcb46ad67
c4435670593a15f412caccdb28e899584112224b
0f22819e307a240c3945150e3c961fd1b9a13403


