# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: b5acb12c75d9f0d1c1c8c14d595f9f83154744a2
input_heaps:
7d19cb1bdc7d0c9728aa6789ebe077e650534e03
04c4981d19dd71a790541c21d8984c7c9f4e9558
990a4a82486c43bd0f2f3eb17b8ba612a424f62c


