# isabelle_session_info

session_name: HOL-UNITY
sources: d5923b6767faa1bacc8674de3887c45a1f3ac15f
input_heaps:
cf53733eb6be06340924da21f0a2a30c8408f115
95ec6235f51fb20ff01feb967caaf0950124a8bc
5b315e6b233451216484e24412495a8e30d78234


