# isabelle_session_info

session_name: HOL-UNITY
sources: 816b8eebb752190f0f7896ac7c1c3b4ef786cb4b
input_heaps:
0ca5864f4aca6546754eb1e7da0e2085c3f4c937
a0786084c37e397f68aa183c1faa4d9f91f1d814
5a58120cb5c3aa913df5daf92d31f906be677576


