# isabelle_session_info

session_name: HOL-UNITY
sources: 5669df5c3c4ba7c04fdcfc4f5b9d2ce077b8d255
input_heaps:
41c19be3f36616b14c5f74fb8791e46be930a98f
f738d32c8c714829016adbf642e3879ffef6c4ff
d14141dca980a774b54d5829bb3fc3f09d5de94b


