# isabelle_session_info

session_name: HOL-UNITY
sources: fcd64f8f04da9dc0a090ab8c7aeffa70a69cb13d
input_heaps:
37d4856c8262aa3a7dcffd62f7e4091b574dcefa
866ec2026827303507f1599a51936e6e6a933e13
8717ca36095473b651da97fa702025e31fa6acaa


