# isabelle_session_info

session_name: HOLCF-Nominal2
sources: fcb3b6cc7c20f620e8ef64c201c4373078fdad65
output_heap: 396f9c1ace36d6f71ac61d690661ffbfab0e9af3
input_heaps:
43e2037f83da5cf7a007d93795784e86fbc251e3
c60789b1a33f179b0eb452f36ae43842690193e5
8c6953b4946c9f7f9c0846837b6e56095078998a


