# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c8f6cd3d513f6b250fb1ee6dc6751c559fbadf7c
uuid: ecf7bc61-2c8e-4cc1-8b9d-ebea45ebbad3
input_heaps:
2119b738295b3991bc32a3d3086303360a58bfb8
16702f1d30a940ae0cc49cac75ef4dde0902bf60
d4e4e6c5086fab366c69e0eb96a782206da725a1


