# isabelle_session_info

session_name: HOL-UNITY
sources: b22df8842b73d763c5eafd74083bbfaf966ae0e7
input_heaps:
ad4db87444247cacaf5ca4f67b9564767bfbfbb9
71edd8e772543d5a1e662373cc1cfda52a924ab2
d946f33409cf92ad9ebb53307ce434668d196d58
d4c5d4732ca13ab305fb608774e97eb8af150005


