# isabelle_session_info

session_name: HOL-UNITY
sources: 5de947867a1626c928c6663b21409e40734da85c
input_heaps:
cb9068c52176507145e624acbeec2272a10e4f6a
87206ccabfeb1d393ed2571f867fc3906cc88dd1
fc60ea1877710c55efdbefd683bd6d53b3f57175
5d4f2d12df1a4e75aa34428ac963af36dde6239f


